Dolmen_loop.Flow
val code : Code.t
The code for warning/errors related to flow checking.
module type S = Flow_intf.S
module Make (S : State.S) : S with type state := S.t and type 'a key := 'a S.key