val sort : Fcl_var.Fd.t array -> Fcl_var.Fd.t array
val sortp : Fcl_var.Fd.t array -> Fcl_var.Fd.t array * Fcl_var.Fd.t array
val cstr :
  Fcl_var.Fd.t array ->
  ?p:Fcl_var.Fd.t array option -> Fcl_var.Fd.t array -> Fcl_cstr.t