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