Module Make.PSource

Sourcetype 'a t = private Z.t * Z.t
Sourceval make : ?unsafe:bool -> Z.t -> bound:'a Bound.t -> 'a t
Sourceval v : 'a t -> Z.t
Sourceval add : ?unsafe:bool -> 'a t -> 'b t -> unit t
Sourceval add_left : ?unsafe:bool -> 'a t -> 'b t -> 'a t
Sourceval sub_left : ?unsafe:bool -> 'a t -> 'b t -> 'a t
Sourceval succ : ?unsafe:bool -> 'a t -> 'a t
Sourceval random : ?maxv:Z.t -> 'a Bound.t -> 'a t
Sourceval check : 'a t -> bool
Sourceval f : 'a t -> unit t