Module Mc2_smtlib

SMTLib-2 Interface

module PA = Smtlib_utils.V_2_6.Ast
module Typecheck : sig ... end
type 'a or_error = ('a, string) CCResult.t
module Make : functor (ARG : sig ... end) -> sig ... end