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