1signature TypeInfo = 2 sig 3 datatype type_info = existing of Type.hol_type 4 | being_defined of string 5 end; 6