Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
123456789101112131415161718192021
(* This file is free software, part of Dolmen. See file "LICENSE" for more details. *)
module type S = sig
type state (* Global state. *)
type 'a key (* Keys into the state *)
val init : flow_check:bool -> state -> state
val inspect : state -> Dolmen.Std.Statement.t -> state * Dolmen.Std.Statement.t (** Inspect statements *)
end