destruct: now works with 400
destruct: now works with 400

rgrinberg/merlin,ocaml/merlin,the-lambda-church/merlin,chambart/merlin,chriskonstad/merlin,the-lambda-church/merlin,ocaml/merlin,ocaml/merlin,neojski/merlin,haselwarter/merlin,rgrinberg/merlin,dra27/merlin,neojski/merlin,dra27/merlin,ocaml/merlin,neojski/merlin,fxfactorial/merlin,fxfactorial/merlin,chriskonstad/merlin,rgrinberg/merlin,dra27/merlin,fxfactorial/merlin,haselwarter/merlin,haselwarter/merlin,the-lambda-church/merlin,fxfactorial/merlin,chambart/merlin,chambart/merlin,chambart/merlin,rgrinberg/merlin,haselwarter/merlin,neojski/merlin,dra27/merlin