SRFI 137: Minimal Unique Types

by John Cowan and Marc Nieper-Wißkirchen

status: final (2016-10-04)

keywords: Data Structure, Record Type

Abstract

This SRFI is intended to standardize a primitive run-time mechanism to create disjoint types.