package frama-c

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

Module Qed.HconsSource

Hash-Consing Utilities

Sourceval primes : int array
Sourceval hash_int : int -> int
Sourceval hash_tag : 'a -> int
Sourceval hash_pair : int -> int -> int
Sourceval hash_triple : int -> int -> int -> int
Sourceval hash_list : ('a -> int) -> int -> 'a list -> int
Sourceval hash_array : ('a -> int) -> int -> 'a array -> int
Sourceval hash_opt : ('a -> int) -> int -> 'a option -> int
Sourceval eq_list : 'a list -> 'a list -> bool

Uses ==.

Sourceval eq_array : 'a array -> 'a array -> bool

Uses ==.

Sourceval equal_list : ('a -> 'a -> bool) -> 'a list -> 'a list -> bool
Sourceval equal_array : ('a -> 'a -> bool) -> 'a array -> 'a array -> bool
Sourceval compare_list : ('a -> 'a -> int) -> 'a list -> 'a list -> int
Sourceval exists_array : ('a -> bool) -> 'a array -> bool
Sourceval forall_array : ('a -> bool) -> 'a array -> bool
Sourceval fold_list : ('a -> 'a -> 'a) -> ('b -> 'a) -> 'a -> 'b list -> 'a
Sourceval fold_array : ('a -> 'a -> 'a) -> ('b -> 'a) -> 'a -> 'b array -> 'a
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct