Module `Flow.Make`

Parameters

module S : State.S

Signature

val init : flow_check:bool -> S.t -> S.t

val inspect : S.t -> Dolmen.Std.Statement.t -> S.t * Dolmen.Std.Statement.t

Inspect statements

val finalise : S.t -> S.t

Finalise the flow check