Source file `context.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
open Import
include Rock.Context

let sexp_of_t m =
  let open Sexp in
  let l =
    fold
      (fun (B (k, v)) l ->
        let name, to_sexp = Key.info k in
        List [ Atom name; to_sexp v ] :: l)
      m
      []
  in
  List l
;;

let pp_hum fmt t = Sexp.pp_hum fmt (sexp_of_t t)

let find_exn t k =
  match find t k with
  | None -> raise Not_found
  | Some s -> s
;;