Documentation

monomorphize :: Int -> Module a c b -> Either (Error ()) (Module () (ConsAnn MonoStackType) MonoStackType) Source #