Parcoursup / Calcul de l'ordre d'appel des candidats index


module InvalidArgumentExceptionMessage
  [@java:package:fr.parcoursup.whyml.exceptions]

   use mach.java.lang.String

   type t =
   | INVALID_ARG_INDEX_OUT_OF_BOUNDS
   | INVALID_ARG_EQ_MAX_INTEGER

  let statusToString (st : t) : string =
    match st with
   | INVALID_ARG_INDEX_OUT_OF_BOUNDS -> "index out of range %d"
   | INVALID_ARG_EQ_MAX_INTEGER -> "structure size is equal to MAX_INTEGER"
  end

end

(* generated on Thu Nov 21 02:04:27 UTC 2024 from rev:  *)

Generated by why3doc 1.7.2+git