{"nibbles_version":"1.00","commenter_version":"0.1.2.181","code":{"lit":"/","desc":"foldr1","type":"int","childs":[{"lit":"_","desc":"= ints","type":"[int]"},{"lit":"==","desc":"equal?","type":"int","args":[{"desc":"B","type":"int"},{"desc":"A","type":"int"}],"childs":[{"lit":"$","desc":"= B","type":"int"},{"lit":"_","desc":"= A","type":"int","args":[{"desc":"D","type":"int"}]}]}]}}