package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `A.E`

include sig ... end

type t = [

]

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 arbitrary : unit -> 'a

val name : unit -> string

val relift : 
  [< `Left of CilType.Offset.t | `Right of ILock.t ] ->
  [> `Left of CilType.Offset.t | `Right of ILock.t ]

val pretty : 
  unit ->
  [< `Left of GoblintCil.offset | `Right of ILock.t ] ->
  GoblintCil.Pretty.doc

include sig ... end

val show : t -> string

val printXml : 'a BatInnerIO.output -> t -> unit

val to_yojson : t -> [> `String of string ]