sig
  val get : Sym.t -> Sym.bv
  val mk_const : Bitv.t -> Sym.t
  val mk_conc : int -> int -> Sym.t
  val mk_sub : int -> int -> int -> Sym.t
  val is : Sym.t -> bool
  val is_const : Sym.t -> bool
  val is_conc : Sym.t -> bool
  val is_sub : Sym.t -> bool
  val d_const : Sym.t -> Bitv.t
  val d_conc : Sym.t -> int * int
  val d_sub : Sym.t -> int * int * int
  val width : Sym.bv -> int
  val pp : 'a Pretty.printer -> (Sym.bv * 'a list) Pretty.printer
end