module Dindex: functor (I : Identifiable) -> sig .. end
functor (
I
:
Identifiable
) ->
sig
end
include Formula.S.Indexed