summaryrefslogblamecommitdiff
path: root/interpret/data.ml
blob: 1d91e93c1937978b7f63f7062ba6efe8dbdce357 (plain) (tree)
1
2
3
4
5
6



                                                            
             
 
(* Data structures for representing the state of a system *)

open Util
open Ast
open Ast_util