Searched refs:DefinitionOf (Results 1 – 2 of 2) sorted by relevance
624 do a <- inRange (srcRange x0) (newType (DefinitionOf (thing x0)) KType)647 a <- inRange rng (newType (DefinitionOf (thing (P.bName b))) KType)779 do t <- newType (DefinitionOf name) KType785 do t <- newType (DefinitionOf name) KType893 let tGoal = WithSource t (DefinitionOf nm)925 tGoal = WithSource t0 (DefinitionOf nm)
160 | DefinitionOf Name constructor188 DefinitionOf x -> Just x1077 DefinitionOf x ->1132 DefinitionOf x -> "the type of" <+> quotes (pp x)