Searched refs:get_type (Results 1 – 12 of 12) sorted by relevance
522 pub fn get_type(&self, x: &Expr) -> Option<&Type> { in get_type() method535 match self.get_type(x) { in static_width()553 match (self.get_type(x), self.get_type(y)) { in assume_comparable_types()567 let ty = self.get_type(&e); in vir_expr_to_sexp()651 if let Some(Type::BitVector(_)) = self.get_type(&x) { in vir_expr_to_sexp()784 BinaryOp::Lte => match (self.get_type(&x), self.get_type(&y)) { in vir_expr_to_sexp()789 BinaryOp::Lt => match (self.get_type(&x), self.get_type(&y)) { in vir_expr_to_sexp()953 if self.get_type(&x).is_some() { in vir_expr_to_sexp()991 let cty = self.get_type(&c); in vir_expr_to_sexp()
46 fn get_type( in get_type() method50 Ok(in_tokio(async { async_filesystem::HostDescriptor::get_type(self, fd).await })?.into()) in get_type()
301 match value.get_type() { in value_to_bytes()
70 async fn get_type( in get_type() method75 let ty = descriptor.get_type().await?; in get_type()
215 let descriptor_type = preopen.descriptor.get_type().trapping_unwrap(); in open_preopens()
798 let type_ = file.fd.get_type()?; in fd_fdstat_get()1895 let descriptor_type = result.get_type()?; in path_open()
610 async fn get_type<U>( in get_type() method615 let ty = fd.get_type().await?; in get_type()
680 fn get_type( in get_type() method
553 pub(crate) async fn get_type(&self) -> Result<DescriptorType, ErrorCode> { in get_type() method
1484 .get_type(fd.borrowed()) in fd_fdstat_get()
934 async fn get_type(&mut self, self_: Resource<WasmValue>) -> Result<wit::WasmType> { in get_type() method
168 pub fn get_type(&self) -> ir::Type { in get_type() method