definition module iTasks.Gin.DCLImport import iTasks.Gin.Syntax import iTasks.Gin.Types from syntax import ::Type from Data.Error import :: MaybeErrorString, :: MaybeError importDCL :: !String !String *World -> (MaybeErrorString GModule, *World) mapType :: Type -> GTypeExpression