Variable conformance

conformance: (right: any, definition: any, where: string) => any = ...

Type Declaration

- (right: any, definition: any, where: string): any
- Checks one right — an RFC 9396 detail or a GNAP access right — against the catalogue entry of its type.
  Parameters
  - right: any
    the detail or right (an object carrying type)
  - definition: any
    the type's entry from declaredTypes()
  - where: string
    how a sentence names the right
  Returns any
  { kind, problem }; kind is '' when the right conforms