Frama-C:
Plug-ins:
Libraries:

Frama-C API - M

type 'a t
val return : 'a -> 'a t
val bind : ('a -> 'b t) -> 'a t -> 'b t