Up
–
Index
»
docs
»
other
»
symex
»
Symex
»
Monad
» State
Module
Monad.State
type
('a, 'prio, 'state) t
=
'state
->
(
'a
*
'state
,
'prio
)
Schedulable.t