Up – Package index » coq-core » Library coq-core.clib » Hashset » Combine

Module `Hashset.Combine`Source

Sourceval combine : int -> int -> int

Sourceval combinesmall : int -> int -> int

Sourceval combine3 : int -> int -> int -> int

Sourceval combine4 : int -> int -> int -> int -> int

Sourceval combine5 : int -> int -> int -> int -> int -> int