Function substituteInPattern

substituteInPattern(
    c: TransformationContext,
    pattern: Pattern,
    assertions: Assertions,
): Pattern | undefined
Substitutes assertions (θ) into a single triple/quad pattern, or undefined when the result can no longer match any triple.
Parameters
- c: TransformationContext
- pattern: Pattern
- assertions: Assertions
Returns Pattern | undefined
- Defined in lib/utils/assertions.ts:770