Parameters

module S : sig ... end

Signature

val x : S.a t