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
Sourceval set : item -> data -> t -> t
Sourceval isset : item -> t -> bool
Sourceval union : item -> item -> t -> t * effects
Sourceval domain : t -> item list
Sourceval closed : t -> bool
Sourceval opened : t -> int