(module TyCon-struct (planet chongkai/sml)
  (#%module-begin
   (Program: (STRDECTopDec: (STRUCTUREStrDec: (StrBind: (StrId: TyCon-struct) (APPStrExp: (FunId: IdFn-functor) (STRUCTStrExp: (EMPTYStrDec:)))))))))