Melange_compiler_libs.Switch
type shared('a) =
| Shared('a)
| Single('a)
;
type t_store('a, 'ctx) = {
act_get: unit => array('a),
act_get_shared: unit => array(shared('a)),
act_store: 'ctx => 'a => int,
act_store_shared: 'ctx => 'a => int,
};
module type Stored = { ... };
module type CtxStored = { ... };
module CtxStore: (A: CtxStored) => { ... };
module Store: (A: Stored) => { ... };
module type S = { ... };
module Make: (Arg: S) => { ... };