-
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
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