blob: bbc9195147dc339d7c4def94e25430c40e8d1fce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
(* $Id$ *)
(*i*)
open Names
(*i*)
(* Module markers. *)
type 'a stock
type module_mark
type 'a stocked
type 'a stock_args = {
name : string;
proc : string -> 'a }
val make_stock : 'a stock_args -> 'a stock
val make_module_marker : 'a stock -> string list -> module_mark
val stock : 'a stock -> module_mark -> string -> 'a stocked
val retrieve : 'a stock -> 'a stocked -> 'a
|
