{"nibbles_version":"0.21","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":"C","type":"int"}]}]}]}}