diff options
Diffstat (limited to 'lib/store.ml')
-rw-r--r-- | lib/store.ml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/lib/store.ml b/lib/store.ml index bc1b335fd..ad6595ade 100644 --- a/lib/store.ml +++ b/lib/store.ml @@ -11,16 +11,6 @@ (* We give a short implementation of a universal type. This is mostly equivalent to what is proposed by module Dyn.ml, except that it requires no explicit tag. *) -module type Universal = sig - type t - - type 'a etype = { - put : 'a -> t ; - get : t -> 'a option - } - - val embed : unit -> 'a etype -end (* We use a dynamic "name" allocator. But if we needed to serialise stores, we might want something static to avoid troubles with plugins order. *) |