Function assertTermType

assertTermType(
termType: AssertableTermType,
strong?: boolean,
): TermTypeAssertion
Creates T⟨?x : τ⟩, or its weak form !bound(?x) || is<τ>(?x).
Parameters
- termType: AssertableTermType
- strong: boolean = true
Returns TermTypeAssertion
- Defined in lib/utils/assertions.ts:193