type 'a iter = ( 'a -> unit ) -> unit

Fast internal iterator.

  • since 2.8
type 'a printer = Format.formatter -> 'a -> unit
module type OrderedType = Map.OrderedType
module type S = sig ... end
module Make (O : Map.OrderedType) : S with type 'a t = 'a Map.Make(O).t and type key = O.t