Z3LBool

public extension Z3LBool

  • Declaration

    Swift

    static let lFalse: Z3_lbool

  • Declaration

    Swift

    static let lUndef: Z3_lbool

  • Declaration

    Swift

    static let lTrue: Z3_lbool