package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Operators

val (>>-) : [< 'a t ] -> ('a -> [> 'b t ] as 'c) -> 'c

This monad propagates `Bottom and or `Top if needed.

val (>>-:) : [< 'a t ] -> ('a -> 'b) -> [> 'b t ]

Use this monad if the following function returns a simple value.

val let+ : [< 'a t ] -> ('a -> 'b) -> [> 'b t ]
val and+ : [< 'a t ] -> [< 'b t ] -> [> ('a * 'b) t ]
val let* : [< 'a t ] -> ('a -> [> 'b t ] as 'c) -> 'c
val and* : [< 'a t ] -> [< 'b t ] -> [> ('a * 'b) t ]