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