-
Andrei Paskevich authored
0. define Map.map 'a 'b as an alias 'a -> 'b 1. define Set.set as an alias for 'a -> bool 2. rename HighOrd.func to (->) 3. remove HighOrd.pred 4. update drivers
402fa65b
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
0. define Map.map 'a 'b as an alias 'a -> 'b 1. define Set.set as an alias for 'a -> bool 2. rename HighOrd.func to (->) 3. remove HighOrd.pred 4. update drivers