Searched refs:expandMetas (Results 1 – 2 of 2) sorted by relevance
302 expandMetas :: t -> IO t305 expandMetas = \case function306 NotM e -> NotM <$> expandMetas e311 Just e -> NotM <$> expandMetas e314 expandMetas (Abs id b) = Abs id <$> expandMetas b function317 expandMetas = \case function319 Lam hid b -> Lam hid <$> expandMetas b321 Pi uid hid dep <$> expandMetas it <*> expandMetas ot326 expandMetas = \case function328 ALCons hid a as -> ALCons hid <$> expandMetas a <*> expandMetas as[all …]
67 hsol = do trm' <- expandMetas trm