sig
  val is_member : Var.Fd.t -> int -> int -> Var.Fd.t
  val cstr : Var.Fd.t -> int -> int -> Var.Fd.t -> Cstr.t
end