Skip to main content
lemma_integer_fmt_unambiguous
vest_
lib
In vest_
lib::
asn1::
integer
vest_lib
::
asn1
::
integer
Function
lemma_
integer_
fmt_
unambiguous
Copy item path
Source
pub
proof
fn lemma_integer_fmt_unambiguous()
Expand description
ensures
integer_fmt().unambiguous(),