Z3LBool public extension Z3LBool lFalse Declaration Swift static let lFalse: Z3_lbool lUndef Declaration Swift static let lUndef: Z3_lbool lTrue Declaration Swift static let lTrue: Z3_lbool