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