Module Expansion.Simple

Demonstrates simple expansion with a type equality

module StringSet : Set.S with type t = string