Introduce header arb-defs.h#416

albinahlback wants to merge 3 commits intoflintlib:masterflintlib/arb:masterfrom

albinahlback:arb_defs_headeralbinahlback/arb:arb_defs_headerCopy head branch name to clipboard