package frama-c

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

Module Bimap.Make

Parameters

module H : Stdlib.Hashtbl.S

Signature

val clear : unit -> unit
val add : H.key -> H.key -> unit
val tails : H.key -> H.key list
val tail : H.key -> H.key
val tail_opt : H.key -> H.key option
val heads : H.key -> H.key list
val head : H.key -> H.key
val head_opt : H.key -> H.key option
val tail_or_self : H.key -> H.key
val head_or_self : H.key -> H.key
OCaml

Innovation. Community. Security.