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