Parcoursup / Calcul de l'ordre d'appel des candidats index
module AlgoOrdreAppelEntree [@java:package:fr.parcoursup.whyml.ordreappel.algo] use int.Int use seq.Seq use fr.parcoursup.whyml.ordreappel.algo.groupe_classement_valide.GroupeClassementValide use proofs.ordre_appel.seq_voeux.SeqVoeuxGroupe clone export fr.parcoursup.whyml.ordreappel.algo.algo_ordre_appel_donnees_clone.AlgoOrdreAppelDonneesClone let algo_ordre_appel_entree () = algo_ordre_appel_donnees () end (* generated on Wed Jun 25 01:05:52 UTC 2025 from rev: *)
Generated by why3doc 1.7.2+git