Table.Primary_key
Primary keys definitions.
A primary key respresents a SQL PRIMARY KEY constraint on a table.
type 'r t
The type for primary keys.
val make : 'r Col.def list -> 'r t
make cs is a primary key with given columns.
make cs
val cols : 'r t -> 'r Col.def list
cols pk are the columns of the primary key.
cols pk