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 Jan 30 02:06:23 UTC 2025 from rev: *)
Generated by why3doc 1.7.2+git