1
(* Syntax test - all possible kinds of module parameters *)
6
Module Type FSIG (X: SIG).
17
#trace Nametab.push_short_name;;
18
#trace Nametab.freeze;;
19
#trace Nametab.unfreeze;;
20
#trace Nametab.exists_cci;;
29
Module M (X: SIG) (Y: SIG).
31
Module M (X Y: SIG) (Z1 Z: SIG).
33
Module M (X: SIG) (Y: SIG).
35
Module M (X Y: SIG) (Z1 Z: SIG).
39
Module M (X: SIG) : SIG.
41
Module M (X Y: SIG) : SIG.
43
Module M (X: SIG) (Y: SIG) : SIG.
45
Module M (X Y: SIG) (Z1 Z: SIG) : SIG.
47
Module M (X: SIG) (Y: SIG) : SIG.
49
Module M (X Y: SIG) (Z1 Z: SIG) : SIG.
53
Module M (X: FSIG) := X Q.
55
Module M (X Y: FSIG) := X Q.
57
Module M (X: FSIG) (Y: SIG) := X Y.
59
Module M (X Y: FSIG) (Z1 Z: SIG) := X Z.
61
Module M (X: FSIG) (Y: SIG) := X Y.
63
Module M (X Y: FSIG) (Z1 Z: SIG) := X Z.
65
Module M : SIG := F Q.
67
Module M (X: FSIG) : SIG := X Q.
69
Module M (X Y: FSIG) : SIG := X Q.
71
Module M (X: FSIG) (Y: SIG) : SIG := X Y.
73
Module M (X Y: FSIG) (Z1 Z: SIG) : SIG := X Z.
75
Module M (X: FSIG) (Y: SIG) : SIG := X Y.
77
Module M (X Y: FSIG) (Z1 Z: SIG) : SIG := X Z.