Name typedef

Name = String

A human-readable name for something.

Implementation

typedef Name = String;