State.State_effectval is : t -> type_:'a State_effect_type.t -> boolval value :
t ->
type_:
'a {State}1/shadowed/(c08171190e2c3a39ba2a8b442a5c2b96).State_effect_type.t ->
'a optionval define :
(module State_effect_spec with type t = 'a) ->
'a State_effect_type.tThe "real" type of `State_effect.define` is `unit -> 'a State_effect_type.t`. We require passing in a First Class Module with type t = 'a so that we only create state effects connected to real types.
val reconfigure : Extension.t State_effect_type.t