package alt-ergo-lib

  1. Overview
  2. Docs

Source file format_shims.ml

1
2
3
4
5
6
7
8
9
10
11
12

include Format

let get_stag = function
  | String_tag s -> s
  | _ -> raise Not_found

let update_stag_functions funs start_stag stop_stag =
  let open Format in
  { funs with
    mark_open_stag = start_stag;
    mark_close_stag = stop_stag }
OCaml

Innovation. Community. Security.