Up  

Module Encoding.EncodedClause

module EncodedClause: sig .. end
type t = private Reasoner.term 
include Interfaces.PRINT
include Interfaces.HASH
include Interfaces.ORD
val __magic : Encoding.hoterm -> t
Don't use unless you know what you're doing.