NaiveUnionFind (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.Unionfind.NaiveUnionFind)

Parameters

module E : EqType

Signature

val coq_S : Eqtype.Equality.coq_type

type unionfind_r = (Eqtype.Equality.sort * Eqtype.Equality.sort) list

val is_labeled : Eqtype.Equality.sort -> (Eqtype.Equality.sort * 'a1) -> bool

val is_pair : 
  Eqtype.Equality.coq_type ->
  (Eqtype.Equality.sort * Eqtype.Equality.sort) ->
  (Eqtype.Equality.sort * Eqtype.Equality.sort) ->
  bool

val makeset : unionfind_r -> Eqtype.Equality.sort -> unionfind_r

val empty_r : unionfind_r

val find_r : unionfind_r -> Eqtype.Equality.sort -> Eqtype.Equality.sort

val union_r : 
  unionfind_r ->
  Eqtype.Equality.sort ->
  Eqtype.Equality.sort ->
  (Eqtype.Equality.sort * Eqtype.Equality.sort) list

type unionfind_i = (Eqtype.Equality.sort * Eqtype.Equality.sort) list

val uf : unionfind_i -> (Eqtype.Equality.sort * Eqtype.Equality.sort) list

type unionfind = unionfind_i

val empty : unionfind

val union : 
  unionfind ->
  Eqtype.Equality.sort ->
  Eqtype.Equality.sort ->
  unionfind

val find : unionfind -> Eqtype.Equality.sort -> Eqtype.Equality.sort