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