SPeCS Packages Documentation
    Preparing search index...
    interface MetaTy {
        get isConst(): boolean;
        get jp(): Joinpoint;
        get semantics(): Semantics;
        generateLifetimeAssignments(
            builder: LifetimeAssignmentBuilder,
        ): [LifetimeAssignmentBuilder, MetaRegion][];
        toTy(regionMap: Map<string, Region>): Ty;
    }

    Implemented by

    Index

    Accessors

    Methods