Searched refs:IsDataModule (Results 1 – 4 of 4) sorted by relevance
33 icod_ IsDataModule = icodeN' IsDataModule37 [] -> valuN IsDataModule
474 IsDataModule -> "(datatype)"820 IsDataModule -> return $ "(datatype module)"
68 = IsDataModule constructor
1828 createModule (Just IsDataModule) m