IdrisDoc
: Control.ST.Stable
Index
Control.ST.Stable
(:::)
:
Var
->
Type
->
Action
ty
Fixity
Non-associative, precedence 5