module Repr:sig
..end
typetau =
Wp.Lang.F.tau
typevar =
Wp.Lang.F.var
typefield =
Wp.Lang.field
typelfun =
Wp.Lang.lfun
typeterm =
Wp.Lang.F.term
typepred =
Wp.Lang.F.pred
type
repr =
| |
True |
|||
| |
False |
|||
| |
And of |
|||
| |
Or of |
|||
| |
Not of |
|||
| |
Imply of |
|||
| |
If of |
|||
| |
Var of |
|||
| |
Int of |
|||
| |
Real of |
|||
| |
Add of |
|||
| |
Mul of |
|||
| |
Div of |
|||
| |
Mod of |
|||
| |
Eq of |
|||
| |
Neq of |
|||
| |
Lt of |
|||
| |
Leq of |
|||
| |
Times of |
|||
| |
Call of |
|||
| |
Field of |
|||
| |
Record of |
|||
| |
Cst of |
|||
| |
Get of |
|||
| |
Set of |
|||
| |
HigherOrder |
(* | See Lang.F.e_open and Lang.F.e_close | *) |
val term : term -> repr
val pred : pred -> repr
val lfun : lfun -> string
val field : field -> string