package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_lib.ArgTools`

Construction of ARGs from constraint system solutions.

module M = Messages

module type BiArg = sig ... end

module Dot (Arg : BiArg) : sig ... end

val current_arg : (module BiArg) option ref

module Make (R : ResultQuery.SpecSysSol2) : sig ... end