-
- Downloads
Generalize GenTreeOps to dependent types
Showing
- src/main/scala/inox/ast/Deconstructors.scala 1 addition, 7 deletionssrc/main/scala/inox/ast/Deconstructors.scala
- src/main/scala/inox/ast/ExprOps.scala 17 additions, 1 deletionsrc/main/scala/inox/ast/ExprOps.scala
- src/main/scala/inox/ast/GenTreeOps.scala 121 additions, 131 deletionssrc/main/scala/inox/ast/GenTreeOps.scala
- src/main/scala/inox/ast/SymbolOps.scala 1 addition, 1 deletionsrc/main/scala/inox/ast/SymbolOps.scala
- src/main/scala/inox/ast/Types.scala 20 additions, 12 deletionssrc/main/scala/inox/ast/Types.scala
- src/main/scala/inox/transformers/TransformerOps.scala 9 additions, 1 deletionsrc/main/scala/inox/transformers/TransformerOps.scala
- src/main/scala/inox/transformers/Traverser.scala 6 additions, 2 deletionssrc/main/scala/inox/transformers/Traverser.scala
- src/main/scala/inox/transformers/TraverserOps.scala 24 additions, 0 deletionssrc/main/scala/inox/transformers/TraverserOps.scala
Loading
Please register or sign in to comment