package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
type elem
val lcs : ?equal:(elem -> elem -> bool) -> t -> t -> elem common list
val diff : ?equal:(elem -> elem -> bool) -> t -> t -> elem edit list
val fold_left : ?equal:(elem -> elem -> bool) -> f:('a -> elem edit -> 'a) -> init:'a -> t -> t -> 'a
val iter : ?equal:(elem -> elem -> bool) -> f:(elem edit -> unit) -> t -> t -> unit