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 Thu Nov 21 02:04:27 UTC 2024 from rev: *)
Generated by why3doc 1.7.2+git