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