module Mdata:sig
..end
type
vkind =
| |
Vmodel of |
| |
Vacsl of |
type
kind =
| |
Kcint of |
| |
Kint |
| |
Kreal |
| |
Kbool |
| |
Kptr of |
| |
Kset of |
| |
Kstruct of |
| |
Karray of |
| |
Kadt of |
module type Addr =sig
..end
module type S =sig
..end