package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `FlagHelper`Source

Domain alternatives chosen by a runtime flag.

Sourcemodule type FlagError = sig ... end

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

Sourcemodule type LatticeFlagHelperArg = sig ... end

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