Idris2Doc
: Text.WebIDL.Codegen.Enum
Index
Default
Alternative
Black & White
Text.WebIDL.Codegen.Enum
(
source
)
Definitions
enums
:
List
Enum
->
String
Totality
:
total
Visibility
:
export