SRFI 137: Minimal Unique Types

by John Cowan, Marc Nieper-Wi├čkirchen

status: final (2016/10/4)

Abstract

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