class call_over_declaration : int -> term -> object .. end
int -> term ->
object
end
val mutable t : term
term
method get_term : term
method set_term : term -> unit
term -> unit
val mutable set : int
int
method get_set : int
method set_set : int -> unit
int -> unit