Class Types.hlpsl_variable


class hlpsl_variable : id:int -> htyp:term_type -> object .. end

val mutable id : int
val mutable t : term_type
method set_type : term_type -> unit
method set_id : int -> unit
method get_id : int
method get_type : term_type