You can search for identifiers within the package.
in-package search v0.2.0
libterm
Smt2_solver.Solver
type result =
| Sat
| Unsat
| Unknown
type term
val put : Smt.Suid.t -> Sexpr.Expr.t list -> unit
val set_memory : addr:Z.t -> Z.t -> unit
val neq : term -> Z.t -> unit
val bind : Smt.Suid.t -> Sexpr.Expr.t -> Sexpr.Expr.t list -> term
val get : Sexpr.Expr.t -> term
val check_sat : unit -> result
val get_value : term -> Z.t
val get_array : Sexpr.Memory.t -> (Z.t * char) array
val close : unit -> unit