Protocol.IDE.Decoration

Definitions

data Decoration : Type

Totality: total
Visibility: public export
Constructors:

Comment : Decoration

Typ : Decoration

Function : Decoration

Data : Decoration

Keyword : Decoration

Bound : Decoration

Namespace : Decoration

Postulate : Decoration

Module : Decoration

Hints:

Eq Decoration

FromSExpable Decoration

SExpable Decoration

Show Decoration

TTC Decoration