Specification of the built-in value type and functions#7810

kwxm wants to merge 8 commits into

masterIntersectMBO/plutus:masterfrom

kwxm/spec/builtin-valueIntersectMBO/plutus:kwxm/spec/builtin-valueCopy head branch name to clipboard