package GuaCaml

  1. Overview
  2. Docs
val update_with : ?noconflict:bool -> ?carry:('a * 'b) list -> ('a * 'b) list -> ('a * 'b) list -> ('a * 'b) list
val restr_rec : ('a * 'b) list -> ('a * 'b) list -> 'a list -> ('a * 'b) list
val restr : ('a * 'b) list -> 'a list -> ('a * 'b) list
val sorted_rec : 'a -> ('a * 'b) list -> bool
val sorted : ('a * 'b) list -> bool