Utilities

Utilities#

Utility types and definitions.