Skip to content

Fix: destructing record field in pattern#1436

Draft
ulugbekna wants to merge 2 commits intoocaml:mainfrom ulugbekna:destruct-record-field

Commits

Commits on Feb 8, 2022