Cloning statement

Serge Guelton

October 20, 2021

New type used for cloning

This document defines and describes the data structure used to pass parameters to the clone_statement function. It consist of three fields given by the user:

import entity from "ri.newgen"

import statement from "ri.newgen"

clone_context = previous_module:entity x new_module:entity x labels:entity* x persistent new_module_statement:statement