pgm_typing.mli 189 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11

open Why
open Theory

type error

exception Error of error

val report : Format.formatter -> error -> unit

val file : Env.env -> theory_uc -> Pgm_ptree.file -> theory_uc * Pgm_ttree.file