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