FlagHelper (p.goblint.2.0.0.doc.goblint.lib.Goblint

module type FlagError = sig ... end

module FlagHelper
  (L : Printable.S)
  (R : Printable.S)
  (Msg : FlagError) : 
  sig ... end

module GroupableFlagHelper
  (L : MapDomain.Groupable)
  (R : MapDomain.Groupable)
  (Msg : FlagError) : 
  sig ... end

module type LatticeFlagHelperArg = sig ... end

module LatticeFlagHelper
  (L : LatticeFlagHelperArg)
  (R : LatticeFlagHelperArg)
  (Msg : FlagError) : 
  sig ... end