module Repr:sig
..end
type
env
typetau =
Lang.F.tau
typevar =
Lang.F.var
typefield =
Lang.field
typelfun =
Lang.lfun
typeterm =
Lang.F.term
typepred =
Lang.F.pred
val env : Lang.F.Vars.t -> env
type
repr =
| |
True |
| |
False |
| |
And of |
| |
Or of |
| |
Not of |
| |
Imply of |
| |
If of |
| |
Forall of |
| |
Exists 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 |
| |
Get of |
| |
Set of |
| |
Abstract |
val term : term -> repr
val pred : pred -> repr
val lfun : lfun -> string
val field : field -> string