Mc2_smtlib
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