package elpi
Source file elpi_util.ml
1 2 3 4 5 6 7(* generated by dune *) (** @canonical Elpi_util.Union_find *) module Union_find = Elpi_util__Union_find (** @canonical Elpi_util.Util *) module Util = Elpi_util__Util
elpi_util.ml1 2 3 4 5 6 7(* generated by dune *) (** @canonical Elpi_util.Union_find *) module Union_find = Elpi_util__Union_find (** @canonical Elpi_util.Util *) module Util = Elpi_util__Util