sig
  val is : Term.t -> bool
  val mk_create : Term.t -> Term.t
  val mk_update : Term.t -> Term.t -> Term.t -> Term.t
  val mk_select : Term.t -> Term.t -> Term.t
  val apply : Term.Equal.t -> Term.t -> Term.t
end