[Ur] Metaprogramming doubt

[Adam Chlipala]

On 09/26/2016 06:44 PM, Saulo Araujo wrote:
> Does the Ur/Web type system allow me to require that groupRowTable 
> contains foreign keys to the group and row tables? If so, could you 
> show me how or point me to a similar example?

No, Ur/Web's encoding of SQL schemas doesn't track the presence of 
foreign-key constraints.  However, it does track which keys exist for 
tables.  Those are in the second argument to [sql_table].