Complete GMM implementation

1 files changed, 7 insertions, 0 deletions

diff --git a/src/Language.hs b/src/Language.hs
index 7aceee7..a7737e0 100644
--- a/src/Language.hs
+++ b/src/Language.hs
@@ -8,12 +8,16 @@
 module Language (
   fromNamed,
   NExpr,
+  Ex,
   module Language,
+  module AST.Types,
+  module Data,
   Lookup,
 ) where
 
 import Array
 import AST
+import AST.Types
 import CHAD.Types
 import Data
 import Language.AST
@@ -191,3 +195,6 @@ round_ = oper ORound64
 
 toFloat_ :: NExpr env (TScal TI64) -> NExpr env (TScal TF64)
 toFloat_ = oper OToFl64
+
+idiv :: (KnownScalTy t, ScalIsIntegral t ~ True) => NExpr env (TScal t) -> NExpr env (TScal t) -> NExpr env (TScal t)
+idiv = oper2 (OIDiv knownScalTy)