{-# OPTIONS --without-K --safe #-}

module Data.BinOp where

data BinOp : Set where
  Function : BinOp