Parcoursup / Calcul de l'ordre d'appel des candidats index
module ListVoeuClasseRang [@java:package:fr.parcoursup.whyml.ordreappel.algo] [@java:visibility:package] use fr.parcoursup.whyml.ordreappel.algo.voeu_classe.VoeuClasse clone export fr.parcoursup.whyml.ordreappel.algo.sorted_list_clone.SortedList with type elt = VoeuClasse.t, val key = VoeuClasse.get_rang end (* generated on Thu Jan 30 02:06:23 UTC 2025 from rev: *)
Generated by why3doc 1.7.2+git