id     = "BOOLEANS"
name   = "Boolean theory"
header = "options/booleans_options.h"