Templates

Templates Specs: Concepts, Issues, and Designs

Sort as quotient of subsort A template spec for constructing a sort as the quotient of subsort. For example, constructing a representation of sets as equivalence classes of nonduplicating lists.

Template

sort-as-quotient-of-subsort.re

Uses

Use in interpretations

SpecWeb Index

Specs