Parcoursup / Calcul de l'ordre d'appel des candidats index
module AccesDonneesExceptionMessage [@java:package:fr.parcoursup.whyml.exceptions] type t let statusToString (st [@W:unused_variable:N] : t) : string = "" end (* generated on Fri Jun 13 01:05:09 UTC 2025 from rev: *)
Generated by why3doc 1.7.2+git