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