Agda Standard Libraries
The Standard Libraries
Mapping
The Standard Libraries
...
Mapping
import
Sets.Enumerated
using
(
Bool
;
true
;
false
)
import
Data.Bool
using
(
Bool
;
true
;
false
)