Module InnerModuleA.InnerModuleA'

This comment is for InnerModuleA'.

type t = a_function

This comment is for t.