package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Ufind.MakeSource

Parameters

module I : Item
module D : Data

Signature

Sourcetype item = I.t
Sourcetype data = D.data
Sourcetype effects = D.effects
Sourcetype t
Sourceval initial : t
Sourceval find : item -> t -> item
Sourceval same : item -> item -> t -> bool
Sourceval data : item -> t -> data option
Sourceval set : item -> data -> t -> t * effects
Sourceval union : ?prio:[ `Left | `Right ] -> item -> item -> t -> t * effects