package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=3ac0f995261ec829a7bd042bf70fc29ac6379029eb9df30bcc044748eb4d2a56

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