abstract/domain.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14

open Abstract_syntax_tree

module type S =
  sig
    type tv
    type ts

    val top_ts : ts

    val interp_abs : stat -> ts -> ts
    
  end