| Priv (* private global definition *)
type attrs = attr list (* attributes *)
type 'term bind = Abst of 'term (* declaration: domain *)
| Abbr of 'term (* definition: body *)
| Priv (* private global definition *)
type attrs = attr list (* attributes *)
type 'term bind = Abst of 'term (* declaration: domain *)
| Abbr of 'term (* definition: body *)