Module Typecheck.Make

Parameters

• ARG : sig ... end

Signature

val conv_term : PA.term -> T.t

val conv_bool_term : PA.term -> Mc2_core.Atom.t list list

val conv_statement : PA.statement -> Stmt.t list