Searched defs:AbsOfRef (Results 1 – 1 of 1) sorted by relevance
88 type AbsOfRef r type129 type AbsOfRef (Arg r) = NamedArg (AbsOfRef r) type137 type AbsOfRef (Dom r, Name) = A.TypedBinding type143 type AbsOfRef (Expr, Elim) = Expr type152 type AbsOfRef (Expr, Elims) = Expr type156 type AbsOfRef (R.Abs r) = (AbsOfRef r, Name) type161 type AbsOfRef Literal = Expr type165 type AbsOfRef Term = Expr type223 type AbsOfRef Sort = Expr type237 type AbsOfRef R.Pattern = A.Pattern type[all …]