Theorem.Conf
type t
val make : Beluga_syntax.Syncom.Name.t -> Synint.Comp.order Synint.Comp.total_dec_kind -> Synint.Comp.typ -> int -> t