(module CCBool)