1structure TypeInfo :> TypeInfo =
2    struct
3        datatype type_info = existing of Type.hol_type
4                           | being_defined of string
5    end;
6