fun Ġlazy B ooleans ( a Ġ: ĠBoolean , Ġb Ġ: ĠBoolean ) Ġ: ĠUnit Ġ{ ĊĠĠĠ Ġif Ġ( a ) Ġ{ ĊĠĠĠĠĠĠ 1 ĊĠĠĠ Ġ} ĊĠĠĠ Ġelse Ġ{ ĊĠĠĠĠĠĠ 2 ĊĠĠĠ Ġ} ĊĠĠĠĠ 3 ĊĠĠĠ Ġif Ġ( a Ġ&& Ġb ) Ġ 5 Ġelse Ġ 6 ĊĠĠĠĠ 7 ĊĠĠĠ Ġif Ġ( a Ġ|| Ġb ) Ġ 8 Ġelse Ġ 9 ĊĠĠĠĠ 1 0 ĊĠĠĠ Ġif Ġ( a ) Ġ 1 1 ĊĠĠĠĠ 1 2 ĊĠĠĠ Ġif Ġ( a ) Ġelse Ġ 1 3 ĊĠĠĠĠ 1 4 Ċ }