let pp fmt d =
  let s = match d with
    | Real -> "real"
    | Int -> "int"
  in
  Format.fprintf fmt "%s" s