dhall-1.42.2: src/Dhall/Syntax/Expr.hs-boot

{-# LANGUAGE StandaloneKindSignatures #-}

module Dhall.Syntax.Expr where

import Data.Kind (Type)

type Expr :: Type -> Type -> Type
data Expr s a