package diffable

You can search for identifiers within the package.

in-package search v0.2.0

diffable
- Diffable
  - Atomic
    
    Make
    
    Update
    
    Diff
    
    V
    
    Make_plain
    
    Update
    
    Diff
    
    V
  - Diffable_intf
    
    S
    
    Update
    
    Diff
    
    S1
    
    Update
    
    Diff
    
    S1_plain
    
    Update
    
    Diff
    
    S_plain
    
    Update
    
    Diff
  - Iso
    
    Make
    
    S
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    X
    
    Make_plain
    
    S
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    X
  - Make_streamable
    
    Intermediate
    
    Part
    
    T
    
    Update
    
    Diff
  - Make_streamable_rpc
    
    Diff
    
    Intermediate
    
    Part
    
    T
    
    Update
    
    Diff
  - Map
    
    Make
    
    Key
    
    Update
    
    Diff
    
    Value
    
    Make_plain
    
    Key
    
    Update
    
    Diff
    
    Value
    
    Make_plain_with_value_diffs
    
    Key
    
    Update
    
    Diff
    
    Value
    
    Update
    
    Diff
    
    Make_with_value_diffs
    
    Key
    
    Update
    
    Diff
    
    Value
    
    Update
    
    Diff
  - Option
    
    Make
    
    Update
    
    Diff
    
    X
    
    Update
    
    Diff
    
    Make_plain
    
    Update
    
    Diff
    
    X
    
    Update
    
    Diff
  - Set
    
    Make
    
    Key
    
    Update
    
    Diff
    
    Make_plain
    
    Key
    
    Update
    
    Diff
  - Tuples
    
    Make2
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make2_plain
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make3
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make3_plain
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make4
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    D
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make4_plain
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    D
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make5
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    D
    
    Update
    
    Diff
    
    E
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make5_plain
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    D
    
    Update
    
    Diff
    
    E
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make6
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    D
    
    Update
    
    Diff
    
    E
    
    Update
    
    Diff
    
    F
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make6_plain
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    D
    
    Update
    
    Diff
    
    E
    
    Update
    
    Diff
    
    F
    
    Update
    
    Diff
    
    Update
    
    Diff

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Make (Key : sig ... end) (Value : sig ... end) : sig ... end

module Make_plain (Key : sig ... end) (Value : sig ... end) : sig ... end

module Make_with_value_diffs
  (Key : sig ... end)
  (Value : sig ... end) : 
  sig ... end

module Make_plain_with_value_diffs
  (Key : sig ... end)
  (Value : sig ... end) : 
  sig ... end