Mark the (deprecated) alloc/free for Array and Ref as private#411

mtzguido wants to merge 1 commit intoFStarLang:mainFStarLang/pulse:mainfrom

mtzguido:alloc-freemtzguido/pulse:alloc-freeCopy head branch name to clipboard