Skip to main content

unit_ty

charon_lib::minirust::mini

Function unit_ty 

pub fn unit_ty() -> Type
Expand description

Returns the type of a zero-sized, one aligned-tuple.