package goblint

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Static analysis framework for C

Install

dune-project

Dependency

goblint.in.tum.de Edit opam file Versions (11)

Authors

Maintainers

Sources

goblint-2.8.0.tbz

sha256=9175eec0143102243964e34a0786584fd590c60422009259c705a89a27f88de4

sha512=9d760007dd8d003cf596516444ed7acc7370fc3d446e75ac71b0176522c3baae090410762f9035e7aae4f6b0e394bf28bb5b1c08ca0476920b94aa919ef04f42

doc/goblint.domain/Lattice/FlatConf/index.html

Module `Lattice.FlatConf`Source

Parameters

module Conf : Printable.LiftConf

module Base : Printable.S

Signature

include sig ... end

type t = [

| `Bot
| `Lifted of Base.t
| `Top

]

val equal : t -> t -> Ppx_deriving_runtime.bool

val compare : t -> t -> Ppx_deriving_runtime.int

val hash : t -> int

val tag : 'a -> 'b

val lift : 'a -> [> `Lifted of 'a ]

val show : [< `Bot | `Lifted of Base.t | `Top ] -> string

val pretty : unit -> t -> Printable.Pretty.doc

val name : unit -> string

val printXml : 
  'a BatInnerIO.output ->
  [< `Bot | `Lifted of Base.t | `Top ] ->
  unit

val to_yojson : [< `Bot | `Lifted of Base.t | `Top ] -> Yojson.Safe.t

val relift : ([< `Bot | `Lifted of Base.t | `Top Lifted ] as 'a) -> 'a

val arbitrary : unit -> [ `Bot | `Lifted of Base.t | `Top ] QCheck.arbitrary

Sourceval bot : unit -> [> `Bot ]

Sourceval is_bot : [> `Bot ] -> bool

Sourceval top : unit -> [> `Top ]

Sourceval is_top : [> `Top ] -> bool

Sourceval leq : t -> t -> bool

Sourceval pretty_diff : unit -> (t * t) -> Pretty.doc

Sourceval join : ([> `Bot | `Lifted of Base.t | `Top ] as 'a) -> 'a -> 'a

Sourceval widen : ([> `Bot | `Lifted of Base.t | `Top ] as 'a) -> 'a -> 'a

Sourceval meet : ([> `Bot | `Lifted of Base.t | `Top ] as 'a) -> 'a -> 'a

Sourceval narrow : ([> `Bot | `Lifted of Base.t | `Top ] as 'a) -> 'a -> 'a