let bool fmt = function
  | true ->
      Format.fprintf fmt "true"
  | false ->
      Format.fprintf fmt "false"