3 (function i -> (function f ->
5 Matita_datatypes_bool.True -> i
6 | Matita_datatypes_bool.False ->
8 Matita_nat_nat.O -> Matita_nat_nat.O
9 | Matita_nat_nat.S(j) -> (max j f))
16 (function off -> (function n -> (function f ->
18 Matita_datatypes_bool.True -> n
19 | Matita_datatypes_bool.False ->
22 | Matita_nat_nat.S(p) -> (min_aux p (Matita_nat_nat.S(n)) f))
28 (function n -> (function f -> (min_aux n Matita_nat_nat.O f)))