1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
(* This declaration looks odd *)
type request_token =
Sociaml_oauth_client.Client.Make(Sociaml_oauth_client.Posix.Clock)
(Sociaml_oauth_client.Posix.MAC_SHA1)
(Sociaml_oauth_client.Posix.Random)
.request_token
(* Whereas this one works well *)
module OauthClient =
Sociaml_oauth_client.Client.Make
(Sociaml_oauth_client.Posix.Clock)
(Sociaml_oauth_client.Posix.MAC_SHA1)
(Sociaml_oauth_client.Posix.Random)
module F1
(G : functor (_ : T) -> T)
(A : sig
val x : int
end) =
struct end
module F2
(G : functor
(_ : T)
->
T_________________________________________________________________________)
(A : sig
val x : int
end) =
struct end
module F3
(G : functor
(_ : T____________________________________________)
(_ : T____________________________________________)
-> T)
(A : sig
val x : int
end) =
struct end
module F (* test *) (M : sig
type t
end) : S = struct end
|
