package frama-c

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

Parameters

module A : T

Signature

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