blob: 95ca0b4be408fa18a6049c7ec55dce30d274d148 (
plain)
1
2
3
4
|
Defines new notions of prototype and size that are used to provide
tools for consistent and well-founded type-coercion and
size-recycling, and are in turn connected to ideas of type- and
size-stability useful for analyzing function interfaces.
|
