Stdlib.Data.Bool
Contents
import Stdlib.Data.Bool.Base open public
instance eqBoolI : Eq BoolSource#
instance ordBoolI : Ord BoolSource#
instance showBoolI : Show BoolSource#