Chop Logic Core - v1.4.0
    Preparing search index...

    Type Alias PropExpression

    PropExpression: PropSymbol[]

    A sequence of propositional symbols forming a logical expression.

    Settings

    Member Visibility