Functor Formula.S.Dindex


module Dindex: 
functor (I : Identifiable) -> sig .. end
Parameters:
I : Identifiable

include Formula.S.Indexed