module Abstract: functor (V : sig end) -> sig end
functor (V : sig end) -> sig end
V
sig end
include I
module Mark: sig end