Module Mc2_smtlib.Typecheck

Preprocessing AST

module Loc = Smtlib_utils.V_2_6.Loc
module PA = Smtlib_utils.V_2_6.Ast
module T = Mc2_core.Term
module Stmt = Mc2_core.Statement
type 'a or_error = ('a, string) CCResult.t

Typing

module Make : functor (ARG : sig ... end) -> sig ... end