(*
    NectarDriver: Impl keyword.

    The Impl keyword defines methods and/or traits associated with a specific identifier N.

    Author: Amlal El Mahrouss
    Formalization: January 2026
*)

Require Import Logic.Classical_Prop.
Require Import NectarDriver.Traits.