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

open Util
open Ast
open Ast_util