From Ltac2 Require Import Ltac2.

Ltac2 Eval true :: [], false.