package diffast-core

  1. Overview
  2. Docs
constraint 'a = < data : < gid : Diffast_core.Info.GI.t ; label : string.. > ; gindex : gindex ; initial_pos : int ; is_collapsed : bool ; uid : Diffast_core.Info.UID.t.. >
val mutable list : 'a t list
method add_pruned : 'a t -> unit
method add_pruned_nodes : 'a t list -> unit
val mutable aborted1 : 'a list
method add_aborted1 : 'a -> unit
method add_abortedl1 : 'a list -> unit
method aborted1 : 'a list
val mutable aborted2 : 'a list
method add_aborted2 : 'a -> unit
method add_abortedl2 : 'a list -> unit
method aborted2 : 'a list
val mutable para_iso1 : 'a list
method add_para_iso1 : 'a list -> unit
method para_iso1 : 'a list
val mutable para_iso2 : 'a list
method add_para_iso2 : 'a list -> unit
method para_iso2 : 'a list
method iter : ('a t -> unit) -> unit
method find : ('a t -> bool) -> 'a t
method exists : ('a t -> bool) -> bool
method get_kind : 'a -> 'a -> kind
method set_kind : 'a -> 'a -> kind -> unit
method mem1 : 'tree_t -> 'a -> bool
method mem2 : 'tree_t -> 'a -> bool
method to_string : string
OCaml

Innovation. Community. Security.