Type Alias CallSemanticsDefinition<Domain>

CallSemanticsDefinition: {
    readonly [Key in keyof CallSemantics<Domain>]: ReadonlyMap<
        string,
        CallSemanticsEntry<Domain, Key>[],
    >
}

The internal representation of the CallSemantics of a SemanticsDefinition with all function names parsed to Identifier.

Type Parameters

Domain extends StateDomain
Type of the state abstract domain the semantics are defined for