Make.Term
type t
val null : t
val mk_var : width -> string -> t
val mk_fresh_var : width -> string -> t
val mk_ptr_var : string -> t
val mk_fresh_ptr_var : string -> t
val mk_const : size:width -> int -> t
Create a constant term representing integer at given width.
val mk_block_begin : t -> t
val mk_block_end : t -> t
val mk_plus : t -> t -> t
val mk_minus : t -> t -> t
val show : t -> string