Typing, Calls and abstracts

o(a) !> Inc_range(1, 10, 1) can't be simply decomposed in o !> Inc_range and a !> (1, 10, 1)

because if x -> Inc_range(x, x, UInt) is an abstract Iterator, Inc_range(1, 10, 1) gets (x -> Inc_range(x, x, 1))(1 | 10),
and

o(a) !> Inc_range(1, 10, 1) is decomposed in o !> a -> Inc_range(a, C) and a !> B


Pixel
This document is licensed under GFDL (GNU Free Documentation License).

Release: $Id: $