A union find library made for building type inference engines. Can be used as general purpose datastructure.
This code is dually licensed under the Apache 2.0 and MIT licences