package frama-c

  1. Overview
  2. Docs

Module TopBottom.Operators

Operators. In presence of simultaneous `Bottom and `Top in and+ / and*, everything narrows down to `Bottom. Every operators is redefined to ensure subtyping properties.

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