package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
type key = D.t
type value = R.t
val bindings : t -> (key * value) list
val iter : (key -> value -> unit) -> t -> unit