IdrisDoc
: Control.ST.Env
Index
Control.ST.Env
data
Env
:
Resources
->
Type
Nil
:
Env
[]
(::)
:
ty
->
Env
xs
->
Env
((
lbl
:::
ty
)
::
xs
)
Fixity
Left associative, precedence 7