path: root/src/Data/BinOp.agda

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

module Data.BinOp where

data BinOp : Set where
  Function : BinOp