Id

The main types

type Id
type DictId

Simple construction

Taking an Id apart

Modifying an Id

Predicates on Ids

Inline pragma stuff

One-shot lambdas

Reading IdInfo fields

Writing IdInfo fields