package gobba

  1. Overview
  2. Docs
val insert_dict : Types.evt array -> Types.evt

Insert a key-value pair in a dictionary

val delete_dict : Types.evt array -> Types.evt

Remove a key-value pair from a dictionary

val haskey : Types.evt array -> Types.evt

Check if a key-value pair is in a dictionary

val getkeys : Types.evt array -> Types.evt

Get a list of the keys

val getvalues : Types.evt array -> Types.evt

Get a list of the values

val filterkeys : Types.evt array -> Types.evt

Check if a dict contains a key

val dict_from_lists : Types.evt array -> Types.evt

Build a dictionary from two lists

val mapstr : string
val foldlstr : string
val foldrstr : string
val filterstr : string
val lambda_table : (string * Types.evt) list
val table : (string * Types.primitive) list