wrappers.special.WSpecialPredefs.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of sigma-state_2.12 Show documentation

Interpreter of a Sigma-State language

The newest version!

package wrappers.special {
  import scalan._

  import special.wrappers.WrappersModule

  trait WSpecialPredefs extends Base { self: WrappersModule =>
    trait WSpecialPredef extends Def[WSpecialPredef];
    trait WSpecialPredefCompanion {
      def some[A](x: Ref[A]): Ref[WOption[A]];
    }
  }
}