úÎVÕ      Safe-Infered Identifiers. 5The CIRC transform monad. Used to create fresh ids. Evaluates a CIRC transform. >Evaluates a CIRC transform, also returning the fresh next id. Produces a fresh id.  Safe-Infered aA transform is a module name, the constructor to be transformed, a list of new type definitions, . and the implementation (imports and code). A type refinement. AA constructor definition is a name and a list of type arguments. _A type definition is a name, a list of type parameters, and a list of constructor definitions. A type expression. ŽA specification is a module name for the initial type, common imports, the root type, the initial type definitions, and a list of transforms. An unparameterized type. Compiles a CIRC spec. Indents code with 2 spaces.                 circ-0.0.0Language.CIRC.Runtime Language.CIRCIdCIRCevalCIRCrunCIRCnewId TransformTypeRefinementNewTypeNewCtorCtorDefTypeDefTypeTTupleTMaybeTListTCode TypeParamTypeNameCtorNameNameSpectcircindent