6.12.3.1.7.3. Strings

Start python section to interscript/felix/model/stdcat.py[10 /10 ] Prev
    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: