Constraint package:relational-query

This module provides proof object definitions of constraint key. Difference between this module and Database.Record.KeyConstraint is typed constraint key column definition is included in this module.
Infer constraint key.
Constraint Key inference interface.
Get table constraint KeyConstraint proof object from constraint Key.
Typed KeyUpdate using specified constraint key.
Unsafely generate constraint Key proof object using specified key index.