WGSLTr A compiler transform extended WGSL into Standard WGSL. Specifications Specification of WGSLTr is reside in directory Specs, specifications is described by TLA+.