why3.drv 237 Bytes
Newer Older
1 2
(* Why driver for Why3 syntax *)

3
printer "why3"
4
filename "%f-%t-%g.why"
5 6

theory BuiltIn
7 8
  syntax type  int  "int"
  syntax type  real "real"
9
  syntax predicate (=)  "(%1 = %2)"
10
  meta "encoding:ignore_polymorphism_ls" predicate (=)
11
end