Lines Matching defs:bool
219 val neg_type = (==`:bool -> bool`==)273 val bool = (==`:bool`==)276 if type_of new_claim = bool287 message = "The claim doesn't have type :bool"}300 val bool = (==`:bool`==)303 if type_of new_claim = bool314 message = "The claim doesn't have type :bool"}