Add function Value.default_of_type (#483)#485

filipeom merged 1 commit intomainformalsec/smtml:mainfrom

filipe/issue-483formalsec/smtml:filipe/issue-483Copy head branch name to clipboard