Module Jasmin.PufSource

Sourcetype t
Sourceval create : int -> t
Sourceval find : t -> int -> int
Sourceval union : t -> int -> int -> t