sig
  val get : Sym.t -> Sym.arrays
  val mk_create : Sym.t
  val mk_select : Sym.t
  val mk_update : Sym.t
  val is : Sym.t -> bool
  val is_create : Sym.t -> bool
  val is_select : Sym.t -> bool
  val is_update : Sym.t -> bool
  val pp : 'a Pretty.printer -> (Sym.arrays * 'a list) Pretty.printer
end