INDUCTIVE DEFINITION bool () [ ]
OF ARITY Set
BUILT FROM:
     true: bool
   | false: bool