Module type Module_type_alias.G

Parameters

module H : sig ... end

Signature

type a