pgm_wp.mli 72 Bytes
Newer Older
1
2
3
4
5

open Why
open Theory

val file : theory_uc -> Pgm_itree.file -> theory