17 open Hints_declaration
29 val state_monad : Monad.setoidMonadProps
31 val state_get : 'a1 Monad.smax_def__o__monad
33 val state_set : 'a1 -> Types.unit0 Monad.smax_def__o__monad
35 val state_run : 'a1 -> 'a2 Monad.smax_def__o__monad -> 'a2
37 val state_update : ('a1 -> 'a1) -> Types.unit0 Monad.smax_def__o__monad
39 val state_pred : Monad.monadPred
41 val stateRel : Monad.monadRel