Source file context.ml

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
;;