transform transform_identity
schema s : t instance i : s ---------------------------------- transform (identity i) : i -> i
The identity transform on an instance. One can also write include i1 i2 when i1 appears in i2.
Appears in:
All_Syntax
Options:
always_reload
num_threads
talg_reduction
timeout