goblint.lib
ThreadIdDomain
goblint.sites
goblint_sites_dune
goblint_sites_js
module type S = sig ... end
module type Stateless = sig ... end
module type Stateful = sig ... end
module FunLoc : Stateless
Type to represent an abstract thread ID.
module Unit (Base : Stateless) : Stateful
module History (Base : Stateless) : Stateful
module ThreadLiftNames : sig ... end
module Lift (Thread : S) : sig ... end
module Thread : sig ... end
module ThreadLifted : sig ... end