package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module FlagHelper.LatticeFlagHelperSource

Parameters

module Msg : FlagError

Signature

include sig ... end
Sourcetype t = L.t option * R.t option
Sourceval compare : t -> t -> Ppx_deriving_runtime.int
Sourceval hash : t -> int
Sourceval unop : ('a -> 'b) -> ('c -> 'b) -> ('a option * 'c option) -> 'b
Sourceval binop : ('a -> 'b -> 'c) -> ('d -> 'e -> 'c) -> ('a option * 'd option) -> ('b option * 'e option) -> 'c
Sourceval unop_to_t : ('a -> 'b) -> ('c -> 'd) -> ('a option * 'c option) -> 'b option * 'd option
Sourceval binop_to_t : ('a -> 'b -> 'c) -> ('d -> 'e -> 'f) -> ('a option * 'd option) -> ('b option * 'e option) -> 'c option * 'f option
Sourceval show : (L.t option * R.t option) -> string
Sourceval pretty : unit -> (L.t option * R.t option) -> Printable.Pretty.doc
Sourceval printXml : 'a BatInnerIO.output -> (L.t option * R.t option) -> unit
Sourceval to_yojson : (L.t option * R.t option) -> Yojson.Safe.t
Sourceval relift : (L.t option * R.t option) -> L.t option * R.t option
Sourceval tag : 'a -> 'b
Sourceval arbitrary : unit -> 'a
Sourceval leq : (L.t option * R.t option) -> (L.t option * R.t option) -> bool
Sourceval join : (L.t option * R.t option) -> (L.t option * R.t option) -> L.t option * R.t option
Sourceval meet : (L.t option * R.t option) -> (L.t option * R.t option) -> L.t option * R.t option
Sourceval widen : (L.t option * R.t option) -> (L.t option * R.t option) -> L.t option * R.t option
Sourceval narrow : (L.t option * R.t option) -> (L.t option * R.t option) -> L.t option * R.t option
Sourceval is_top : (L.t option * R.t option) -> bool
Sourceval is_bot : (L.t option * R.t option) -> bool
Sourceval pretty_diff : unit -> ((L.t option * R.t option) * (L.t option * R.t option)) -> Lattice.Pretty.doc
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct