(0) CHARACTERISTICS
-type specified: intg
-features: non-deterministic, non-parameterized
-foreign types:
(1) SYNTAX
ACCESS-PROGRAMS
Arg#1 | Result Type | GETINT | intg:VO | int:R | |
---|
(2) CANONICAL TRACES
canonical(T) n:<int>; x[1]..x[n]:<int> [T = [GETINT(*) (x[i])]i=1..n i:<int>1 i i < n [x[i] < x[i + 1]]](3) SEMANTICS
ACCESS-PROGRAMSLegality(GETINT((n, T))) = %legal%
GETINT((n, T) ) a = S1.GETINT(*) (a).S2 where S1,S2:<intg> [T = S1.S2 canonical(S1.GETINT(*) (a).S2)]
GETINT((n, T)) a | ¬ S1,S2:<intg> [T = S1.GETINT(*) (a).S2 ]