sig
  val sort : Facile.Var.Fd.t array -> Facile.Var.Fd.t array
  val sortp :
    Facile.Var.Fd.t array -> Facile.Var.Fd.t array * Facile.Var.Fd.t array
  val cstr :
    Facile.Var.Fd.t array ->
    ?p:Facile.Var.Fd.t array option -> Facile.Var.Fd.t array -> Facile.Cstr.t
end