sig
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
end