sparql-view-unfold
    Preparing search index...

    Module utils/assertions

    Interfaces

    Access
    AssertionConjunct
    BoundAssertion
    StrongAssertion
    TermTypeAssertion
    TripleConstruction
    UnboundAssertion
    WeakAssertion

    Type Aliases

    AssertableTermType
    Assertion
    Assertions
    AssertionTarget
    TransferSource

    Variables

    assertableTermTypes

    Functions

    access
    accessId
    asAccess
    asAssertableTermType
    asAssertionConjuncts
    assertBound
    assertStrong
    assertTermType
    assertUnbound
    assertWeak
    asTransferSource
    asWeakenedConjunct
    compareAccesses
    componentOf
    conjunctAsExpression
    hasTarget
    impliesBound
    isAssertableTerm
    isBareAccess
    isTripleConstruction
    normalisedTarget
    rangeOfTermType
    sameAccessAs
    substituteInPattern
    substituteInTerm
    targetIsAccess
    variablesOfTransferSource
    variablesReadByConjunct