PerMutexMeetPrivBase (goblint.Goblint_lib.RelationPriv.PerMutexMeetPrivBase)

Parameters

module RD : RelationDomain.RD

val invariant_vars : 
  'a ->
  'b ->
  (RD.t, 'c) RelationDomain.relcomponents_t ->
  GoblintCil.varinfo list