package goblint-cil

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

A bunch of generally useful functions

val list_append : 'a list -> 'a list -> 'a list

tail-recursive append

val list_map : ('a -> 'b) -> 'a list -> 'b list

More efficient map

val memoize : ('a, 'b) Stdlib.Hashtbl.t -> 'a -> ('a -> 'b) -> 'b
val valOf : 'a option -> 'a

Get the value of an option. Raises Failure if None

val list_map_opt : ('a -> 'b) -> 'a list option -> 'b list option
val equals : 'a -> 'a -> bool

This has the semantics of (=) on OCaml 3.07 and earlier. It can handle cyclic values as long as a structure in the cycle has a unique name or id in some field that occurs before any fields that have cyclic pointers.

OCaml

Innovation. Community. Security.