Searched defs:typeArgsWithTel (Results 1 – 1 of 1) sorted by relevance
1315 typeArgsWithTel _ [] = return [] function1316 typeArgsWithTel (ExtendTel dom tel) (v : vs) = (dom :) <$> typeArgsWithTel (absApp tel v) vs function1317 typeArgsWithTel EmptyTel{} (_:_) = Nothing function