[RFR] Discriminated union type for auth action#3742

Merged

djhi merged 1 commit intonextfrom discriminated-union-type-for-auth-action

Sep 30, 2019

+13-14

Commits on Sep 27, 2019

applied discrimination union patterh to auth actions
pemoreau
committed