Module InnerModuleA.InnerModuleA'

This comment is for InnerModuleA'.

type t = (unit, unit) a_function

This comment is for t.