module AbstractLabeled: functor (V : sig end) -> functor (E : Sig.ORDERED_TYPE_DFT) -> sig end
functor (V : sig end) -> functor (E : Sig.ORDERED_TYPE_DFT) -> sig end
V
sig end
E
Sig.ORDERED_TYPE_DFT
include I
module Mark: sig end