Module Schema.LoopingMap


module LoopingMap: Looping.LoopingMap  with type loopable = t
Looping


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