package frama-c

  1. Overview
  2. Docs

doc/frama-c-e-acsl.core/E_ACSL/Monad_rws/Make/Option/index.html

Module Make.Option

applying monadic functions to the option type

val iter : ('a -> unit t) -> 'a option -> unit t
val map : ('a -> 'b t) -> 'a option -> 'b option t
OCaml

Innovation. Community. Security.