package mopsa

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Bot_top - Lift operations to a top/bottom element.

Types

type 'a with_bot_top =
  1. | BOT
  2. | TOP
  3. | Nbt of 'a
    (*

    Adds bottom/top element to a type.

    *)

Operator lifting

val bot_top_lift1 : ('a -> 'b) -> 'a with_bot_top -> 'b with_bot_top
val bot_top_lift2 : ('a -> 'b -> 'c) -> 'a with_bot_top -> 'b with_bot_top -> 'c with_bot_top
val bot_top_absorb1 : ('a -> 'b with_bot_top) -> 'a with_bot_top -> 'b with_bot_top
val bot_top_absorb2 : ('a -> 'b -> 'c with_bot_top) -> 'a with_bot_top -> 'b with_bot_top -> 'c with_bot_top
val bot_top_neutral2 : ('a -> 'a -> 'a) -> 'a with_bot_top -> 'a with_bot_top -> 'a with_bot_top
val bot_top_neutral_bind2 : ('a -> 'a -> 'a with_bot_top) -> 'a with_bot_top -> 'a with_bot_top -> 'a with_bot_top
val bot_top_equal : ('a -> 'b -> bool) -> 'a with_bot_top -> 'b with_bot_top -> bool
val bot_top_included : ('a -> 'b -> bool) -> 'a with_bot_top -> 'b with_bot_top -> bool
val bot_top_compare : ('a -> 'a -> int) -> 'a with_bot_top -> 'a with_bot_top -> int
val bot_top_fprint : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a with_bot_top -> unit
OCaml

Innovation. Community. Security.