3 results
Core data structures and operations
Convert between strong and weak representations of types
Encode precise binary representations directly in types