package acgtk

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

Module New_weight.Weight_as_Depth_and_SizeSource

Sourcetype w = {
  1. current : int;
  2. max : int;
  3. size : int;
}
Sourceval pp : Format.formatter -> w -> unit
Sourceval init : w
Sourceval is_better : w -> w -> bool
Sourceval is_equal : 'a -> 'a -> bool
Sourceval update : current:w -> w -> w
Sourceval up : w -> 'a -> w
Sourceval down : w -> 'a -> w
Sourceval right : w -> 'a -> w
Sourcemodule WMap : sig ... end
Sourceval optimum : 'a WMap.t -> (WMap.key * 'a) option