Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package patience_diff
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Patience_diff : sig ... endmodule Plain_diff : sig ... endBasic Myers diff algorithm, translated from GNU diff. *