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