package frama-c

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

Module Option.Syntax

Binding operators. See manual section 12.23 for details.

  • since 5.5
val (let*) : 'a option -> ('a -> 'b option) -> 'b option

( let* ) is Option.bind.

val (and*) : 'a option -> 'b option -> ('a * 'b) option

( and* ) is Option.product.

val (let+) : 'a option -> ('a -> 'b) -> 'b option

( let+ ) is Option.map.

val (and+) : 'a option -> 'b option -> ('a * 'b) option

( and+ ) is Option.product.