Types and functionsAnalysis functionsCommon analysis functionsSamplingAnalysis modifiersBase functionsInput and outputFile I/O and serializationPretty printingModel construction functionsFunctions for changing the modelsVariant specifiersTypesBase typesModel types and contentsUtilitiesHelper functionsMacro-generated functions and internal helpersLogging and debugging helpers