Diffing_with_keys.Define.Parameters(3)

NAME
Diffing_with_keys.Define.Parameters - no description

Module type
Module type Diffing_with_keys.Define.Parameters

Documentation

Module type Parameters
 = sig end

val weight : Diffing_with_keys.Define.change -> int

val test : D.state -> Diffing_with_keys.Define.left -> Diffing_with_keys.Define.right -> (unit, Diffing_with_keys.Define.diff) result

val update : Diffing_with_keys.Define.change -> D.state -> D.state

val key_left : D.left -> string

val key_right : D.right -> string