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 Thu Jan 30 02:06:23 UTC 2025 from rev:  *)

Generated by why3doc 1.7.2+git