universo.common
MakeLraSpecif.Lra
universo.api
universo.checking
universo.elaboration
universo.solving
val axiom_specification : string list * T.term
val rule_specification : string list * T.term
val cumul_specification : string list * T.term