type bool = false | true