horizon-spec-0.13.0
let Flag : ∀(x : Type) → Type = λ(x : Type) → < Disable : x | Enable : x >in Flag