From: NeilBrown Date: Tue, 23 Nov 2021 22:31:49 +0000 (+1100) Subject: oceani: make anon types more formal X-Git-Url: https://ocean-lang.org/code/?p=ocean;a=commitdiff_plain;h=7b204b91b3e742371df976a01a4029f48aa3aa27;hp=7b204b91b3e742371df976a01a4029f48aa3aa27 oceani: make anon types more formal As we need anon types - make it explicit and allow a name to be constructed. Signed-off-by: NeilBrown ---