package goblint

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

Some things are not quite lattices ...

module Pretty = GoblintCil.Pretty
module type S = sig ... end
module Empty : S
module Std : sig ... end
module Blank : sig ... end
module type Showable = sig ... end
module SimpleShow (P : Showable) : sig ... end
module type Prettyable = sig ... end
module SimplePretty (P : Prettyable) : sig ... end
module type Name = sig ... end
module UnitConf (N : Name) : sig ... end
module Unit : sig ... end
module type LiftingNames = sig ... end
module DefaultNames : sig ... end
module HConsed (Base : S) : sig ... end
module HashCached (M : S) : sig ... end
module Lift (Base : S) (N : LiftingNames) : sig ... end
module Either (Base1 : S) (Base2 : S) : sig ... end
module Option (Base : S) (N : Name) : sig ... end
module Lift2 (Base1 : S) (Base2 : S) (N : LiftingNames) : sig ... end
module type ProdConfiguration = sig ... end
module ProdConf (C : ProdConfiguration) (Base1 : S) (Base2 : S) : sig ... end
module Prod (Base1 : S) (Base2 : S) : sig ... end
module ProdSimple (Base1 : S) (Base2 : S) : sig ... end
module Prod3 (Base1 : S) (Base2 : S) (Base3 : S) : sig ... end
module Liszt (Base : S) : sig ... end
module type ChainParams = sig ... end
module Chain (P : ChainParams) : S with type t = int
module LiftBot (Base : S) : sig ... end
module LiftTop (Base : S) : sig ... end
module Strings : sig ... end
module type FailwithMessage = sig ... end
val get_short_list : string -> string -> string list -> string

Concatenates a list of strings that fit in the given character constraint

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