package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Chunks Sets and Maps.

type t = Chunk.t
type set
type 'a map
val hash : t -> int
val equal : t -> t -> bool
val compare : t -> t -> int
module Map : Qed.Collection.Map with type 'a t = 'a map and type key = t and type domain = set
module Set : Qed.Collection.Set with type t = set and type elt = t and type 'a mapping = 'a map