Open tcr opened 7 years ago
What is this?
IntMap.fromSet (const ())
Only used once, but it basically means an empty int set. (const returns a function which only returns the bound argument, i.e. ()).
()
const True and const False are used elsewhere also.
const True
const False
What is this?