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