Overview
A type of boolean parameters
Lifting classical functions to circuits
Syntactic sugar
Circuits for specific operations
Boolean parameters
Boolean constants
Unary boolean operations
Binary boolean operations
The if-then-else operation
Equality test
Generic unpacking