Idris2Doc
: Text.WebIDL.Parser.Definitions
Index
Default
Alternative
Black & White
Text.WebIDL.Parser.Definitions
(
source
)
Definitions
partOrDef
:
Rule
True
PartOrDef
Totality
:
total
Visibility
:
export
partsAndDefs
:
Rule
True
PartsAndDefs
Totality
:
total
Visibility
:
export