org.kiama.rewriting.NominalRewriter
Alternative extractor for Bind constructs. Decomposes an abstraction returning the components after freshening the bound name.
Alternative extractor for Bind constructs. Decomposes an abstraction returning the components after freshening the bound name.