test.rkt

#lang racket/base

(require
 redex/reduction-semantics)

(define-language lcL
  (e t ::= () (λ (x) e) (e e))
  (C ::= (cross e)))

(module+ test
  (require rackunit)
  (check-true
   (redex-match? lcL (cross e) (term (λ (x) hole))))
  (check-true
   (redex-match? lcL (cross t) (term (λ (x) hole))))
  (check-true
   (redex-match? lcL C (term (λ (x) hole)))))