definition module GinDCLImport from GinSyntax import ::GModule from GinTypes import ::GTypeExpression from syntax import ::Type import Error importDCL :: !String !String *World -> (MaybeErrorString GModule, *World) mapType :: Type -> GTypeExpression