Module type Looping.LoopingMap


module type LoopingMap = sig .. end

type loopable 
Type of the ``relevant'' data.
type 'a t 
Type of a set of loopable datas.
val empty : 'a t
val add : 'a t ->
key:loopable -> data:'a -> 'a t
val find : 'a t -> key:loopable -> 'a option