Library ExtLib.Data.Set.SetMap

Require Import ExtLib.Structures.Maps.
Require Import ExtLib.Structures.Sets.

Set Implicit Arguments.
Set Strict Implicit.

Canonical instance, a set is the same as a map where the values

are unit