package jasmin

  1. Overview
  2. Docs

Module IntMake.Raw

type key = X.t
type 'elt tree =
  1. | Leaf
  2. | Node of 'elt tree * key * 'elt * 'elt tree * I.t
val tree_rect : 'a2 -> ('a1 tree -> 'a2 -> key -> 'a1 -> 'a1 tree -> 'a2 -> I.t -> 'a2) -> 'a1 tree -> 'a2
val tree_rec : 'a2 -> ('a1 tree -> 'a2 -> key -> 'a1 -> 'a1 tree -> 'a2 -> I.t -> 'a2) -> 'a1 tree -> 'a2
val height : 'a1 tree -> I.t
val cardinal : 'a1 tree -> Datatypes.nat
val empty : 'a1 tree
val is_empty : 'a1 tree -> bool
val mem : X.t -> 'a1 tree -> bool
val find : X.t -> 'a1 tree -> 'a1 option
val create : 'a1 tree -> key -> 'a1 -> 'a1 tree -> 'a1 tree
val assert_false : 'a1 tree -> key -> 'a1 -> 'a1 tree -> 'a1 tree
val bal : 'a1 tree -> key -> 'a1 -> 'a1 tree -> 'a1 tree
val add : key -> 'a1 -> 'a1 tree -> 'a1 tree
val remove_min : 'a1 tree -> key -> 'a1 -> 'a1 tree -> 'a1 tree * (key * 'a1)
val merge : 'a1 tree -> 'a1 tree -> 'a1 tree
val remove : X.t -> 'a1 tree -> 'a1 tree
val join : 'a1 tree -> key -> 'a1 -> 'a1 tree -> 'a1 tree
type 'elt triple = {
  1. t_left : 'elt tree;
  2. t_opt : 'elt option;
  3. t_right : 'elt tree;
}
val t_left : 'a1 triple -> 'a1 tree
val t_opt : 'a1 triple -> 'a1 option
val t_right : 'a1 triple -> 'a1 tree
val split : X.t -> 'a1 tree -> 'a1 triple
val concat : 'a1 tree -> 'a1 tree -> 'a1 tree
val elements_aux : (key * 'a1) list -> 'a1 tree -> (key * 'a1) list
val elements : 'a1 tree -> (key * 'a1) list
val fold : (key -> 'a1 -> 'a2 -> 'a2) -> 'a1 tree -> 'a2 -> 'a2
type 'elt enumeration =
  1. | End
  2. | More of key * 'elt * 'elt tree * 'elt enumeration
val enumeration_rect : 'a2 -> (key -> 'a1 -> 'a1 tree -> 'a1 enumeration -> 'a2 -> 'a2) -> 'a1 enumeration -> 'a2
val enumeration_rec : 'a2 -> (key -> 'a1 -> 'a1 tree -> 'a1 enumeration -> 'a2 -> 'a2) -> 'a1 enumeration -> 'a2
val cons : 'a1 tree -> 'a1 enumeration -> 'a1 enumeration
val equal_more : ('a1 -> 'a1 -> bool) -> X.t -> 'a1 -> ('a1 enumeration -> bool) -> 'a1 enumeration -> bool
val equal_cont : ('a1 -> 'a1 -> bool) -> 'a1 tree -> ('a1 enumeration -> bool) -> 'a1 enumeration -> bool
val equal_end : 'a1 enumeration -> bool
val equal : ('a1 -> 'a1 -> bool) -> 'a1 tree -> 'a1 tree -> bool
val map : ('a1 -> 'a2) -> 'a1 tree -> 'a2 tree
val mapi : (key -> 'a1 -> 'a2) -> 'a1 tree -> 'a2 tree
val map_option : (key -> 'a1 -> 'a2 option) -> 'a1 tree -> 'a2 tree
val map2_opt : (key -> 'a1 -> 'a2 option -> 'a3 option) -> ('a1 tree -> 'a3 tree) -> ('a2 tree -> 'a3 tree) -> 'a1 tree -> 'a2 tree -> 'a3 tree
val map2 : ('a1 option -> 'a2 option -> 'a3 option) -> 'a1 tree -> 'a2 tree -> 'a3 tree
module Proofs : sig ... end