Parcoursup / Calcul de l'ordre d'appel des candidats index
module ListGroupeClassementValide [@java:package:fr.parcoursup.whyml.ordreappel.algo] [@java:visibility:package] use fr.parcoursup.whyml.ordreappel.algo.groupe_classement_valide.GroupeClassementValide clone export fr.parcoursup.whyml.ordreappel.algo.sorted_list_clone.SortedList with type elt = GroupeClassementValide.t, val key = GroupeClassementValide.get_c_gp_cod end (* generated on Mon Dec 2 02:04:28 UTC 2024 from rev: *)
Generated by why3doc 1.7.2+git