Idris2Doc
: Libraries.Data.String
Index
Default
Alternative
Black & White
Libraries.Data.String
(
source
)
Definitions
rtrim
:
String
->
String
Trim whitespace on the right of the string
Totality
:
total
Visibility
:
public export