module XDR::DSL