type 'a token
[
|
`Token of 'a
`Eof
]
type 'a continue
`Continue of 'a
`End
module Comm : sig ... end
module type Basic_S : sig ... end
module type S : sig ... end
module Make : functor (S : Basic_S) -> S with type t = S.t and type a = S.a and type b = S.b