module Dhall.Core where

data Const

data Var

data Expr s a