Up – Index » djot » Djot_kernel » OrdersTac » OT_to_OrderTac

Module `OrdersTac.OT_to_OrderTac`

Parameters
Signature

Parameters

module OT : Orders.OrderedType

Signature

module OTF : sig ... end

module TO : sig ... end