FlagHelper (goblint.FlagHelper)

module type FlagError = sig ... end

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

module type LatticeFlagHelperArg = sig ... end

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