package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

module NH : sig ... end
module WitnessInvariant : sig ... end
module FMap : sig ... end
module FCMap : sig ... end
type con_inv = {
  1. node : Node.t;
  2. context : R.SpecSys.Spec.C.t;
  3. invariant : Invariant.t;
  4. state : R.SpecSys.Spec.D.t;
}
module LH : sig ... end
val location_nodes : Node.t list LH.t Stdlib.Lazy.t
val loop_nodes : Node.t list LH.t Stdlib.Lazy.t
val write : unit -> unit
OCaml

Innovation. Community. Security.