jasmin.jasmin
Prog.PV
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
type t = pvar
val mk : Name.t -> Wsize.v_kind -> pty -> L.t -> Annotations.annotations -> pvar
val compare : pvar -> pvar -> int
val equal : pvar -> pvar -> bool
val hash : pvar -> int
val is_glob : pvar -> bool