93: #line 119 "felix_stdcat.ipk" 94: class cat_string(cat_sequence): 95: def __init__(self): cat_monoid.__init__(self,'') 96: 97: def is_arrow(self, object): 98: return type(object) is types.StringType 99: 100: