package goblint

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

The lattice signature and simple functors for building lattices.

module GU = Goblintutil
exception Uncomparable
module type PO = sig ... end
module type S = sig ... end
exception TopValue
exception BotValue
exception Unsupported of string
val unsupported : string -> 'a
module UnitConf (N : Printable.Name) : sig ... end
module Unit : sig ... end
module Fake (Base : Printable.S) : sig ... end
module type PD = sig ... end
module FakeSingleton (Base : PD) : sig ... end
module Reverse (Base : S) : sig ... end
module HConsed (Base : S) : sig ... end
module HashCached (M : S) : sig ... end
module Flat (Base : Printable.S) (N : Printable.LiftingNames) : sig ... end
module Lift (Base : S) (N : Printable.LiftingNames) : sig ... end
module LiftPO (Base : PO) (N : Printable.LiftingNames) : sig ... end
module Lift2 (Base1 : S) (Base2 : S) (N : Printable.LiftingNames) : sig ... end
module ProdConf (C : Printable.ProdConfiguration) (Base1 : S) (Base2 : S) : sig ... end
module Prod (Base1 : S) (Base2 : S) : sig ... end
module ProdSimple (Base1 : S) (Base2 : S) : sig ... end
module LexProd (Base1 : S) (Base2 : S) : sig ... end
module Prod3 (Base1 : S) (Base2 : S) (Base3 : S) : sig ... end
module LiftBot (Base : S) : sig ... end
module LiftTop (Base : S) : sig ... end
module Liszt (Base : S) : sig ... end
module Chain (P : Printable.ChainParams) : sig ... end
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