simple functional queue from Okasaki#558

c-cube wants to merge 16 commits into

leanprover:mainleanprover/cslib:mainfrom

c-cube:c-cube/functionalQueuec-cube/cslib:c-cube/functionalQueueCopy head branch name to clipboard