General-purpose functions and types for use with other FRPTools packages.
General-purpose functions and types for use with other FRPTools packages