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