jasmin.jasmin
Constraints.C
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
type constraints
val init : unit -> constraints
val public : constraints -> Lvl.t
val secret : constraints -> Lvl.t
val fresh : ?name:string -> constraints -> Lvl.t
val pp_debug : Format.formatter -> constraints -> unit
val pp : Format.formatter -> constraints -> unit
val simplify : constraints -> unit
val prune : constraints -> Lvl.t list -> unit
val optimize : constraints -> tomax:Lvl.t list -> tomin:Lvl.t list -> unit
val clone : constraints -> constraints -> Lvl.t -> Lvl.t
val is_instance : (Lvl.t -> Lvl.t) -> constraints -> constraints -> bool