Ocamlary.FunctorTypeOfThis comment is for FunctorTypeOf.
module 
      
       Collection
       
      
       : module 
       type of
        CollectionModule
      
     
    type t
       = 
       Collection.collection
       
      
     
    This comment is for t.