Module `InnerModuleA.InnerModuleA'`

This comment is for InnerModuleA'.

type t
       = 
       ( unit, unit ) 
        a_function

This comment is for t.