Matthew Heaney30 ((True and X) or (Y and (not X))) declare Exp : constant Exp_Handle := New_Or (New_And (New_Const (True), New_Var ( X )), New_And (New_Var ( Y ), New_Not (New_Var ( X )))); Exp_Value : constant Boolean := Eval (+Exp, Context); begin null; end;
{}