package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
val list_append : 'a list -> 'a list -> 'a list
val list_map : ('a -> 'b) -> 'a list -> 'b list
val memoize : ('a, 'b) Hashtbl.t -> 'a -> ('a -> 'b) -> 'b
val valOf : 'a option -> 'a
val list_map_opt : ('a -> 'b) -> 'a list option -> 'b list option
val equals : 'a -> 'a -> bool