package yices2_bindings

  1. Overview
  2. Docs
type ('a, 'r) t
val get : ('a, 'a) t -> 'a
val let* : ('a, 'r) t -> ('a -> ('b, 'r) t) -> ('b, 'r) t
val return : 'a -> ('a, 'r) t
val return1 : ('a -> 'b) -> 'a -> ('b, 'r) t
val return2 : ('a -> 'b -> 'c) -> 'a -> 'b -> ('c, 'r) t
val fold : ('a -> 'b -> ('b, 'c) t) -> 'a list -> 'b -> ('b, 'c) t
val iter : ('a -> (unit, 'b) t) -> 'a list -> (unit, 'b) t
val map : ('a -> ('b, 'c) t) -> 'a list -> ('b list, 'c) t