Data.Logic.Classes.Constants

class Constants p

ifElse

true

(⊨)

false

(⊭)

prettyBool