Module Bvarith

module Bvarith: sig  end

val unsigned : Sym.t

val is_interp : Term.t -> bool

Parameters:

?? : Term.t

val mk_unsigned : Term.t -> Term.t

val unsigned_interp_of : Bitv.t -> int

Parameters:

b : Bitv.t

val sigma : Sym.bvarith -> Term.t list -> Term.t

Parameters:

op	:	`Sym.bvarith`
l	:	`Term.t list`

val map : (Term.t -> Term.t) -> Term.t -> Term.t

Parameters:

f	:	`Term.t -> Term.t`
a	:	`Term.t`