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