Skip to main content

extern_spec_i128_signum

creusot_std::std::num

Function extern_spec_i128_signum 

Source 
pub fn extern_spec_i128_signum(self_: i128) -> i128
Expand description

extern spec for i128::signum

This is not a real function: its only use is for documentation.

ghost

ensures 

self

ensures 

self

ensures 

self