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