Frama-C:
Plug-ins:
Libraries:

Frama-C API - Mt_utils

val (<?>) : int -> int lazy_t -> int
module Result : sig ... end
type trilean =
  1. | True
  2. | False
  3. | Unknown
module Trilean : sig ... end
module Value : sig ... end