Jikka.Core.Language.LambdaPatterns
pattern LamId :: Type -> Expr Source #
pattern LamConst :: Type -> Expr -> Expr Source #