Interface Derives<T, U>

Type Parameters

• T extends ParsedCapability

• U = T

• Derives(claim, proof): Result<{}, Failure>

• Parameters

  • claim: T

  • proof: U

  Returns Result<{}, Failure>