package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Platform dedicated to the analysis of source code written in C

Install

dune-project

Dependency

sha256=9c1cbffd28bb33c17a668107e39c96e4ae7378a3d8249f69b47afc7ee964e9b8

Make iterators to handle options of monadic elements and monadic options.

module M : Monad.S

val fold : ('a -> 'b -> 'a M.t) -> 'a -> 'b option -> 'a M.t

val map : ('a -> 'b M.t) -> 'a option -> 'b option M.t

val iter : ('a -> unit M.t) -> 'a option -> unit M.t

On This Page