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