Translate_prop.Create.axiomdef ->
Translate_prop.Create.partial list ->
object
val axdef : Translate_prop.Create.axiomdef
val mutable captured : bool
val mutable id : int
val mutable partials : Translate_prop.Create.partial list
method alive : bool
method capture : Translate_prop.Create.F.var list -> unit
method extend_with_hint :
Translate_prop.Create.env ->
Axiomatics.hint -> Translate_prop.Create.instance option
method has_var : Translate_prop.Create.F.var list -> bool
method id : int
method instantiate : Translate_prop.Create.F.pred option
method pretty : Format.formatter -> unit
method subst :
Translate_prop.Create.F.var ->
Formula.abstract Translate_prop.Create.F.term -> unit
end