Who Cites bool?
bool	Def == Unit+Unit
	Thm* Type

Syntax:

has structure:

bool

About: