Diffing_with_keys.Define.Simple3o
No description
Module
Module Diffing_with_keys.Define.Simple
Documentation
Module Simple
: Parameters -> sig end
Parameters:
"*"
Diffing_with_keys.Define.Parameters
val diff : D.state -> D.left list -> D.right list -> Diffing_with_keys.Define.patch
Releases
2 releases since Debian 13 (Trixie); the text changed 1 time.