úΦþ       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. %Returns a unqiue int for a given 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 the initial type module name, the initial transform module name, 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.4Language.CIRC.Runtime Language.CIRCIdCIRCevalCIRCrunCIRCnewIdidId TransformTypeRefinementNewTypeNewCtorCtorDefTypeDefTypeTTupleTMaybeTListTImportCode TypeParamTypeNameCtorName ModuleNameNameSpectcircindent