Idris2Doc
: Idris.Package.ToJson
Index
Default
Alternative
Black & White
Idris.Package.ToJson
(
source
)
Definitions
toJson
:
PkgDesc
->
String
Totality
:
total
Visibility
:
export