package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_solver.Td3UpdateRule`Source

Narrowing strategies for side-effects

module type S =
  functor (S : Goblint_constraint.ConstrSys.EqConstrSys) ->
  functor (HM : Batteries.Hashtbl.S with type key = S.v) ->
  functor (VS : Batteries.Set.S with type elt = S.v) ->
  sig ... end

Inactive

Sourcemodule Inactive : S

Sourcemodule Narrow : S

Sourceval choose : unit -> (module S)

package goblint

Module Goblint_solver.Td3UpdateRuleSource

Module `Goblint_solver.Td3UpdateRule`Source