Traqula
    Preparing search index...

    Variable translateAlgExistenceExpressionConst

    translateAlgExistenceExpression: AstIndir<
        "translateExistenceExpression",
        ExpressionPatternOperation,
        [Algebra.ExistenceExpression],
    > = ...

    Settings

    Member Visibility