dhall-1.22.0: src/Dhall/Core.hs-boot

module Dhall.Core where

data Const

data Var

data Expr s a

data Import

denote :: Expr s a -> Expr t a