Module Function_graphs.Sigs

Copyright © Inria 2024

module type MFG = sig ... end