Class Types.call_over_declaration


class call_over_declaration : int -> term -> object .. end

val mutable t : term
method get_term : term
method set_term : term -> unit
val mutable set : int
method get_set : int
method set_set : int -> unit