package jasmin

You can search for identifiers within the package.

in-package search v0.2.0

Compiler for High-Assurance and High-Speed Cryptography

Install

dune-project

Dependency

github.com Readme Edit opam file Versions (17)

Authors

J

Jasmin authors and contributors

Maintainers

J

Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>

Sources

jasmin-compiler-v2025.06.1.tar.bz2

sha256=e92b42fa69da7c730b0c26dacf842a72b4febcaf4f2157a1dc18b3cce1f859fa

doc/jasmin.jasmin/Jasmin/Unionfind/LUF/index.html

Module `Unionfind.LUF`

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