Idris2Doc
: Utils.Show
Index
Default
Alternative
Black & White
Utils.Show
(
source
)
Definitions
show_record
:
String
->
List
(
String
,
String
)
->
String
Visibility
:
export