rtg2sig Summary Generates a Stratego Signature from an RTG. Options module n Generated module has name n i f input f Read input from f o f output f Write output to ...

Introduction rtg2typematch is a tool for generating a duck-typing-based strategies that check if an ATerm is of a type as defined in an RTG. An example will make ...