module Base: sig .. end
sig
end
module S: sig .. end
include struct ... end
type annotation = string
string
val possible_annotations : string list
string list
val pub : t
t
val priv : t
val annotations2state : t -> string list -> t
t -> string list -> t
val constant : t
val variable : t