package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val sorted : ?strict:bool -> ?next:('a option -> bool) option -> 'a list -> bool
val sorted_nat : ?strict:bool -> ?next:(int option -> bool) option -> int list -> bool
val sort : 'a list -> 'a list
val union : 'a list -> 'a list -> 'a list
val union_list : 'a list list -> 'a list
val minus : 'a list -> 'a list -> 'a list
val inter : 'a list -> 'a list -> 'a list
val nointer : 'a list -> 'a list -> bool
val subset_of : 'a list -> 'a list -> bool
val union_fst_replace : ?carry:('a * 'b) list -> ('a * 'b) list -> ('a * 'b) list -> ('a * 'b) list
val union_fst_stable : ?carry:('a * 'b) list -> ('a * 'b) list -> ('a * 'b) list -> ('a * 'b) list
val union_fst : ?replace:bool -> ?carry:('a * 'b) list -> ('a * 'b) list -> ('a * 'b) list -> ('a * 'b) list