gistfile1.txt

List(edge<=(vertex;vertex)[split,('outV'->vertex<=(vertex;vertex)[get,0,_],'inV'->vertex<=(vertex;vertex)[get,1,_])])
List(cmplx:(real;real), <x>, cmplx<=cmplx:(real;real)<x>, [plus,cmplx<y>]{2}, [combine,(real;real){2}], cmplx:(real;real){2})
List(attr:('key'->_,'value'->_))
List(digraph#1105759305:('type'->([inst]->([inst]),attr->(attr:('key'->_,'value'->_),attr<=(str;_[id])[split,('key'->str<=(str;_[id])[get,0,_],'value'->_<=(str;_[id])[get,1,_])]),nat->(nat<=int[is,bool<=int[gt,0]]),cmplx:(real;real){2}->(cmplx{2}<=cmplx:(real;real)<x>[plus,cmplx<y>]{2}),bool->(bool),real->(real),str->(str),cmplx:(real;real)->(cmplx:(real;real)),rec->(rec),int->(int<=vertex[get,'id',_],int<=nat,int),edge->(edge:('outV'->vertex,'inV'->vertex),edge<=(vertex;vertex)[split,('outV'->vertex<=(vertex;vertex)[get,0,_],'inV'->vertex<=(vertex;vertex)[get,1,_])]),(_)->((_)<=(_[id]),(_)),(int)->((int)<=(int[neg][neg]),(int)<=(int[plus,0]),(int)<=(int[mult,1]),(int)),(_[1])->((_[1])<=(int[one]),(_[1])),(_[0])->((_[0])<=(int[zero]),(_[0])<=(int[mult,0]),(_[0])),(_[''])->((_[''])<=(str[zero]),(_[''])),(str)->((str)<=(str[plus,'']),(str)),poly->(poly<=_[lst|rec]),vertex->(vertex:('id'->nat,'attrs'->attr{*}),vertex<=nat[split,('id'->nat)],vertex<=(str;attr)[combine,(int<=str;_[split,('key'->_[get,'key',_][plus,'x'],'value'->_[get,'value',_][plus,'xx'])])],vertex<=(nat;attr)[split,('id'->nat<=(nat;attr)[get,0,_],'attrs'->attr<=(nat;attr)[get,1,_])],vertex<=int[is,bool<=int[lt,0]][split,(int[neg];('no';'data'))]))))
List((vertex;vertex), [split,('outV'->vertex<=(vertex;vertex)[get,0,_],'inV'->vertex<=(vertex;vertex)[get,1,_])], edge<=(vertex;vertex)[split,('outV'->vertex<=(vertex;vertex)[get,0,_],'inV'->vertex<=(vertex;vertex)[get,1,_])])
List(attr<=(str;_[id])[split,('key'->str<=(str;_[id])[get,0,_],'value'->_<=(str;_[id])[get,1,_])])
List(bool)
List(poly)
List((str;_[id]), [split,('key'->str<=(str;_[id])[get,0,_],'value'->_<=(str;_[id])[get,1,_])], attr<=(str;_[id])[split,('key'->str<=(str;_[id])[get,0,_],'value'->_<=(str;_[id])[get,1,_])])
List(real)
List(_, [lst|rec], poly)
List(str)
List(nat, int, [is,bool<=int[gt,0]], nat)
List(nat, [split,('id'->nat)], vertex, [get,'id',_], int, [is,bool<=int[gt,0]], nat)
List(nat, int, [is,bool<=int[lt,0]], int{?}<=int[is,bool<=int[lt,0]], [split,(int[neg];('no';'data'))], vertex, [get,'id',_], int)
List(nat, [split,('id'->nat)], vertex, [get,'id',_], int, [is,bool<=int[lt,0]], int{?}<=int[is,bool<=int[lt,0]], [split,(int[neg];('no';'data'))], vertex)
List(rec)
List(int, [is,bool<=int[gt,0]], nat, int)
List(int, [is,bool<=int[lt,0]], int{?}<=int[is,bool<=int[lt,0]], [split,(int[neg];('no';'data'))], vertex, [get,'id',_], int)
List(int, [is,bool<=int[gt,0]], nat, [split,('id'->nat)], vertex, [get,'id',_], int)
List((str;attr), [combine,(int<=str;_[split,('key'->_[get,'key',_][plus,'x'],'value'->_[get,'value',_][plus,'xx'])])], vertex, [get,'id',_], int, [is,bool<=int[lt,0]], int{?}<=int[is,bool<=int[lt,0]], [split,(int[neg];('no';'data'))], vertex)
List((str;attr), [combine,(int<=str;_[split,('key'->_[get,'key',_][plus,'x'],'value'->_[get,'value',_][plus,'xx'])])], vertex, [get,'id',_], int, [is,bool<=int[gt,0]], nat, int)
List((str;attr), [combine,(int<=str;_[split,('key'->_[get,'key',_][plus,'x'],'value'->_[get,'value',_][plus,'xx'])])], vertex, [get,'id',_], int, [is,bool<=int[gt,0]], nat, [split,('id'->nat)], vertex)
List(vertex, [get,'id',_], int, [is,bool<=int[lt,0]], int{?}<=int[is,bool<=int[lt,0]], [split,(int[neg];('no';'data'))], vertex)
List(vertex, [get,'id',_], int, [is,bool<=int[gt,0]], nat, int)
List(vertex, [get,'id',_], int, [is,bool<=int[gt,0]], nat, [split,('id'->nat)], vertex)
List([combine,(real;real){2}], cmplx:(real;real){2})
List((nat;attr), [split,('id'->nat<=(nat;attr)[get,0,_],'attrs'->attr<=(nat;attr)[get,1,_])], vertex, [get,'id',_], int, [is,bool<=int[lt,0]], int{?}<=int[is,bool<=int[lt,0]], [split,(int[neg];('no';'data'))], vertex)
List((nat;attr), [split,('id'->nat<=(nat;attr)[get,0,_],'attrs'->attr<=(nat;attr)[get,1,_])], vertex, [get,'id',_], int, [is,bool<=int[gt,0]], nat, int)
List((nat;attr), [split,('id'->nat<=(nat;attr)[get,0,_],'attrs'->attr<=(nat;attr)[get,1,_])], vertex, [get,'id',_], int, [is,bool<=int[gt,0]], nat, [split,('id'->nat)], vertex)
List(edge:('outV'->vertex,'inV'->vertex))