ghadishayban

proto = <syntax> { import | package | option | message | enum | service | emptyStatement } <ws>

(* Header *)
syntax = ws "syntax" ws "=" ws ( "'proto3'" | '"proto3"' ) ws ";"

import = <ws "import" ws> [ "weak" | "public" ] <ws> strLit <ws ";">

package = <ws "package" ws> fullIdent <ws ";">

option = <ws "option" ws> optionName <ws "=" ws > constant <ws ";">

rntz

-- The Datafun runtime.
module Runtime where

import qualified Data.Set as Set
import Data.Set (Set)

class Eq a => Preord a where
  (<:) :: a -> a -> Bool

class Preord a => Semilat a where