Dyadic intervals
This module is mostly internal to MerkleTree
. It is a separate module mainly to expose
its code for the test suite without polluting the MerkleTree
interface.
A diadic interval, identified by a common prefix and its length in bits
public func mk(p : Prefix, i : IntervalLength) : Interval
Smart constructor. Normalizes the prefix by setting all bits beyond len to zero.
public func find(needle : Prefix, i : Interval) : FindResult