class hlpsl_variable : id:int -> htyp:term_type -> object .. end
id:int -> htyp:term_type ->
object
end
val mutable id : int
int
val mutable t : term_type
term_type
method set_type : term_type -> unit
term_type -> unit
method set_id : int -> unit
int -> unit
method get_id : int
method get_type : term_type