module Dhall.Syntax where

data Var

data Const

data Expr s a