Skip to main content

LockId

charon_lib::minirust::mini

Type Alias LockId 

pub type LockId = Int;

Aliased Typeยง

pub struct LockId(/* private fields */);