Finite
type 'n finite
val first : 'n Nat.succ finite
val last : 'n Nat.succ Nat.nat -> 'n Nat.succ finite
val next : 'n finite -> 'n Nat.succ finite
val (=) : 'n finite -> 'n finite -> bool
val of_int : 'n Nat.succ Nat.nat -> int -> 'n Nat.succ finite option
val to_int : 'n finite -> int
val for_each : ('n finite -> 'a -> 'a) -> 'n Nat.nat -> 'a -> 'a
Frama-C