Variable derivationWidens

Type Declaration

• • (original: any[], requested: any[], context: any): any

  • Returns the first requested right a derivation may not carry: one the original token does not cover and derivableBeyond() does not allow.

    Parameters

    • original: any[]

      the original token's access rights

    • requested: any[]

      the access rights asked for, every token's together

    • context: any

      passed to derivableBeyond()

    Returns any

    the right, or null when every one is derivable