(**************************************************************************) (* *) (* Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, *) (* Kim Nguyen, Laurent Sartre *) (* *) (* Informatique - MP2I/MPI - CPGE 1re et 2e années. *) (* Cours et exercices corrigés. Éditions Ellipses, 2022. *) (* *) (* https://www.informatique-mpi.fr/ *) (* *) (**************************************************************************) (* Files de priorité immuables L'ordre utilisé ici est la comparaison structurelle polymorphe d'OCaml. *) type 'a heap val empty: 'a heap val is_empty: 'a heap -> bool val insert: 'a -> 'a heap -> 'a heap val get_min: 'a heap -> 'a val extract_min: 'a heap -> 'a * 'a heap val height: 'a heap -> int