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