pgm_wp.mli 72 Bytes
Newer Older
1
2
3
4

open Why
open Theory

5
val file : theory_uc -> Pgm_ttree.file -> theory