sparql-view-unfold
    Preparing search index...

    Interface TermTypeAssertion

    T⟨?x : τ⟩ when strong, and !bound(?x) || is<τ>(?x) when not.

    interface TermTypeAssertion {
        strong: boolean;
        subType: "termType";
        termType: AssertableTermType;
        type: "assertion";
    }

    Hierarchy

    • BaseAssertion
      • TermTypeAssertion
    Index

    Properties

    strong subType termType type

    Properties

    strong: boolean
    subType: "termType"
    termType: AssertableTermType
    type: "assertion"

    Settings

    Member Visibility

    On This Page

    Properties