pub async fn eqv_pred( _cont: &Option<Arc<Continuation>>, a: &Gc<Value>, b: &Gc<Value>, ) -> Result<Vec<Gc<Value>>, RuntimeError>