Module type Module_type_alias.A

type a