Module Mc2_core.Lemma
Lemmas
type t= Mc2_core__.Solver_types.lemmatype view= Mc2_core__.Solver_types.lemma_view
val pp : t CCFormat.printerval tauto : tval make : view -> Mc2_core__.Solver_types.tc_lemma -> t
module TC : sig ... end