package goblint

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `RichVarinfo.Make`

Parameters

module X : G

Signature

type t = X.t

type marshal

val to_varinfo : t -> GoblintCil.varinfo

val unmarshal : marshal option -> unit

val marshal : unit -> marshal

val bindings : unit -> (t * GoblintCil.varinfo) list