sig
  val is_member : Fcl_var.Fd.t -> int -> int -> Fcl_var.Fd.t
  val cstr : Fcl_var.Fd.t -> int -> int -> Fcl_var.Fd.t -> Fcl_cstr.t
end