package frama-c

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

Indexer implements ordered collection of items with random access. It is suitable for building fast access operations in GUI tree and list widgets.

module type Elt = sig ... end
module Make (E : Elt) : sig ... end
OCaml

Innovation. Community. Security.