open Ast
open Formula

open Util
open Environment_domain

module I (E : ENVIRONMENT_DOMAIN) : sig

  val init_state  : prog -> id -> E.t
  val do_step     : prog -> id -> E.t -> E.t

end = struct

end