Bool package:defun-core

Boolean functions. Type families are defined in Data.Type.Bool module in base package. For term-level reflections see defun-bool package.