jasmin.jasmin
Constraints.Lvl
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
type t
val vlevel : t -> Vl.t
val successors : t -> t list
val equal : t -> t -> bool
val le : t -> t -> bool
exception Unsat of t list * t * t
val add_le : t -> t -> unit
val iter : (t -> unit) -> t -> unit
val is_public : t -> bool
val is_secret : t -> bool
val pp : Format.formatter -> t -> unit