Searched refs:asEApps (Results 1 – 1 of 1) sorted by relevance
720 asEApps :: Expr n -> (Expr n, [Expr n])721 asEApps expr = go expr [] function788 EApp _ _ -> let (e, es) = asEApps expr in