Differences

This shows you the differences between two versions of the page.

--- language:langs:refine [2025/07/21 19:46] – [Multiple refinement options] rajit
+++ language:langs:refine [2025/07/21 19:47] (current) – [Multiple refinement options] rajit
@@ Line 111: / Line 111: @@
 </code>
-In this case, the ''refine<2> { ... }'' block behaves as ''refine { refine { ... } }''.
+In this case, the ''refine<2> { ... }'' block behaves as ''refine { refine { ... } }''. In other words, when ''-ref=2'' is specified,
+instance ''i1'' as well as ''j1'' will be created. Furthermore, the refinement option will eliminate the ''chp { ... }'' block from the first level refinement, as this has now been replaced with the second level refinement.
 ===== Refinement overrides =====
@@ Line 127: / Line 128: @@
 This will apply the refinement override for ''l'' when this particular refinement body is selected.
-</code>