Type Alias Label 

pub type Label = String;

Each predicate is associated with a label

Aliased Type

pub struct Label { /* private fields */ }