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