Gen Renamed Sdf Module

XT -- A Bundle of Program Transformation Tools

Introduction

gen-renamed-sdf-module generates an SDF module that renames all SDF sorts in a given SDF definition.

Example