NarrowingPrimitive

File NarrowingPrimitive.str
Author Martin Bravenboer <martin@cs.uu.nl>
Since unknown

5.1.3: Narrowing Primitive Conversions




Statistics


General
Lines of code 35
Stratego
Module number 1 (100% documented)
Constructor number 0
Overlay number 0
Strategy number 6 (0% documented)
Rule number 0
DynamicRule number 0



Strategy summary


is-narrowing-primitive-convertable(ATerm t) n/a NarrowingPrimitive.str
is-narrowing-primitive-convertable(ATerm t) n/a NarrowingPrimitive.str
is-narrowing-primitive-convertable(ATerm t) n/a NarrowingPrimitive.str
is-narrowing-primitive-convertable(ATerm t) n/a NarrowingPrimitive.str
is-narrowing-primitive-convertable(ATerm t) n/a NarrowingPrimitive.str
is-narrowing-primitive-convertable(ATerm t) n/a NarrowingPrimitive.str