Module Switch.DefaultFSource
Fuctorised version of Default, for replicating a switch's layout in non-switch contexts
Parameters
module L : OpamPath.LAYOUTSwitch.DefaultFSourceFuctorised version of Default, for replicating a switch's layout in non-switch contexts
module L : OpamPath.LAYOUT