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

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

open Util
open Ast
open Ast_util
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-19 15:57:28 +0000