Searched refs:termToCanType (Results 1 – 1 of 1) sorted by relevance
350 termToCanType term387 termToCanType :: FlatType -> StateT NameState IO Can.Type388 termToCanType term = function