SRFI 137: Minimal Unique Types

by John Cowan and Marc Nieper-Wi├čkirchen

status: final (2016-10-04)

keywords: Data Structure

Abstract

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