Commits

Anonymous committed 3771d7e

.

Comments (0)

Files changed (1)

 
 (***************************************************************)
 
+type ub_store_cmd =
+  [ UB_STORE_Set
+  | UB_STORE_Clear
+  ]
+;
+
+type ubox =
+  { ub_store : ub_store_cmd -> storage_index -> unit
+  ; ub_on_storage : (module ON_STORAGE)
+  }
+;
+
+(***************************************************************)
+
 module type FUNCTOR
  =
   sig