Idris2Doc
: System.UV.Raw.Util
Index
Default
Alternative
Black & White
System.UV.Raw.Util
(
source
)
Definitions
idris_uv
:
String
->
String
Totality
:
total
Visibility
:
public export
boolToInt32
:
Bool
->
Int32
Totality
:
total
Visibility
:
export
int32ToBool
:
Int32
->
Bool
Totality
:
total
Visibility
:
export