package smtml

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

Install 

dune-project
 Dependency

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

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.30.0.tar.gz
md5=afedffddc52bc135ea1bd98b19ca0455
sha512=ed7d21125c7441de37c3326fb667822ccd97e5880449886ff6bcbdddcac39d0cd7821c86982e8b21fa97b308edf92b7c8b4de127a993d56360cef10b63c7c8fa

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

Module Result.SyntaxSource

Sourceval (let*) : ('a, 'b) result -> ('a -> ('c, 'b) result) -> ('c, 'b) result
Sourceval (let+) : ('a, 'b) result -> ('a -> 'c) -> ('c, 'b) result
Sourceval (>>=) : ('a, 'b) result -> ('a -> ('c, 'b) result) -> ('c, 'b) result
Sourceval (>>|) : ('a, 'b) result -> ('a -> 'c) -> ('c, 'b) result