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