package smtml

  1. Overview
  2. Docs
An SMT solver frontend for OCaml

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (24)

Authors

  1. J
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt>
  2. F
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
  3. H
    Hichem Rami Ait El Hara <hra@ocamlpro.com>
  4. R
    redianthus <redopam@pm.me>
  5. A
    Arthur Carcano <arthur.carcano@ocamlpro.com>
  6. P
    Pierre Chambart <pierre.chambart@ocamlpro.com>
  7. J
    José Fragoso Santos <jose.fragoso@tecnico.ulisboa.pt>

Maintainers

  1. F
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>

Sources

v0.29.0.tar.gz
md5=2e38bae37fea8bc8bdd798b0d4c75c8b
sha512=8e7b391da03bae5f7a9ce06d1e9d9f6f93028c0172e3052bb17d688b97ce7a70242b145e2041b730ed1f52bd485d5dd814417aa7aa1910b8bcb68bbb94f090f8

doc/smtml.prelude/Smtml_prelude/Option/Syntax/index.html

Module Option.SyntaxSource

Sourceval (let*) : 'a option -> ('a -> 'b option) -> 'b option
Sourceval (let+) : 'a option -> ('a -> 'b) -> 'b option