Goblint_std (goblint.Goblint

Standard library

OCaml standard library extensions which are not provided by Batteries.

module GobArray : sig ... end

Implementations here are from batteries and slightly modified. They are tuned for performance and not necessarily the same style non-library code should be written.

module GobGc : sig ... end

module GobHashtbl : sig ... end

module GobList : sig ... end

module GobRef : sig ... end

module GobResult : sig ... end

module GobOption : sig ... end

module GobSys : sig ... end

module GobUnix : sig ... end

Other libraries

External library extensions.

module GobFpath : sig ... end

module GobPretty : sig ... end

module GobQCheck : sig ... end

QCheck extensions.

module GobYaml : sig ... end

module GobYojson : sig ... end

module GobZ : sig ... end