Module Melange_compiler_libs.Switch

type shared('a) =
  1. | Shared('a)
  2. | Single('a)
;
type t_store('a, 'ctx) = {
  1. act_get: unit => array('a),
  2. act_get_shared: unit => array(shared('a)),
  3. act_store: 'ctx => 'a => int,
  4. 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) => { ... };