Update semantics/src/main/scala/aqua/semantics/expr/func/ArrowSem.scala

Co-authored-by: InversionSpaces <InversionSpaces@vivaldi.net>
This commit is contained in:
Dima 2023-10-25 14:40:38 +03:00 committed by GitHub
parent cbd3d0063f
commit 2394370648
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -12,6 +12,7 @@ import aqua.semantics.rules.mangler.ManglerAlgebra
import aqua.semantics.rules.names.NamesAlgebra import aqua.semantics.rules.names.NamesAlgebra
import aqua.semantics.rules.types.TypesAlgebra import aqua.semantics.rules.types.TypesAlgebra
import aqua.types.* import aqua.types.*
import cats.Monad import cats.Monad
import cats.data.Chain import cats.data.Chain
import cats.free.Cofree import cats.free.Cofree