module Region_analysis_stmt: sig .. end
sig
end
module type M = sig .. end
module MakeNode: functor (M : M) -> Node with type abstract_value = M.abstract_value and type node = stmt
functor (
M
:
) ->
Node
with type abstract_value = M.abstract_value and type node = stmt