grisette-0.1.0.0: src/Grisette/IR/SymPrim/Data/TabularFun.hs-boot

{-# LANGUAGE TypeOperators #-}

module Grisette.IR.SymPrim.Data.TabularFun
  ( type (=->) (..),
  )
where

data (=->) a b = TabularFun {funcTable :: [(a, b)], defaultFuncValue :: b}