Project

General

Profile

Revision 5500edb8 src/basic_library.ml

View differences:

src/basic_library.ml
145 145
let pp_horn i pp_val fmt vl =
146 146
  match i, vl with
147 147
  | "ite", [v1; v2; v3] -> Format.fprintf fmt "(@[<hov 2>ite %a@ %a@ %a@])" pp_val v1 pp_val v2 pp_val v3
148

  
149 148
  | "uminus", [v] -> Format.fprintf fmt "(- %a)" pp_val v
150 149
  | "not", [v] -> Format.fprintf fmt "(not %a)" pp_val v
151 150
  | "=", [v1; v2] -> Format.fprintf fmt "(= %a %a)" pp_val v1 pp_val v2

Also available in: Unified diff