Source file `core_ctx.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
type t = { map : Hmap.t; id : string }

type 'a key = 'a Hmap.key

(* TODO [jerben] generate random id for ctx *)
let empty = { map = Hmap.empty; id = "randomid" }

let add key item ctx = { ctx with map = Hmap.add key item ctx.map }

let find key ctx = Hmap.find key ctx.map

let remove key ctx = { ctx with map = Hmap.rem key ctx.map }

let create_key = Hmap.Key.create

let id ctx = ctx.id