(*
    NectarDriver: Traits keyword.

    The Traits keyword defines formal semantic rules associated with a specific identifier N.

    Author: Amlal El Mahrouss
    Formalization: January 2026
*)

Require Import Logic.Classical_Prop.