Traqula
    Preparing search index...

    Variable translateAlgInvConst

    translateAlgInv: AstIndir<"translateInv", Path, [Algebra.Inv]> = ...

    Settings

    Member Visibility