Module Qed.Export

Export Engine Factory

val cmode : Engine.mode -> Engine.cmode
val amode : Engine.mode -> Engine.amode
val pmode : Engine.mode -> Engine.pmode
val tmode : ( 'a, 'f ) Logic.datatype -> Engine.mode
val ctau : ( 'a, 'f ) Logic.datatype -> Engine.cmode
val is_identifier : string -> bool
val sanitize : to_lowercase:bool -> string -> string
val debug : Engine.link -> string
module Make (T : Logic.Term) : sig ... end