Module Lemma.TC
type t= Mc2_core__.Solver_types.tc_lemma
val make : pp:view Mc2_core__.Solver_types.Fmt.printer -> unit -> t
Lemma.TCtype t = Mc2_core__.Solver_types.tc_lemmaval make : pp:view Mc2_core__.Solver_types.Fmt.printer -> unit -> t