Module Dolmen_intf.Ext

Interfaces for Extensions

module type Logic = sig ... end