Function v_stack_ty 

pub fn v_stack_ty() -> Expr

VStack : Site → Type A v-stack (sheaf on the v-topology), generalizing perfectoid spaces and diamonds.