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 May  9 01:05:48 UTC 2025 from rev:  *)

Generated by why3doc 1.7.2+git