module EDSL