Document Or_ignore type in zkapp_basic.ml#18214

dannywillems wants to merge 1 commit intocompatibleMinaProtocol/mina:compatiblefrom

dw/doc-or-ignore-typeMinaProtocol/mina:dw/doc-or-ignore-typeCopy head branch name to clipboard