package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module M : SeqType

Signature

type t = M.t
type elem = M.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