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