type t_key = Primary_key | Key