/horizon-spec-0.13.0/Flag

Exported files:

• Type.dhall:

  ∀(x : Type) → Type
  

• package.dhall