Skip to main content

luaur_analysis/methods/
refinement_arena_variadic.rs

1//! Source: `Analysis/src/Refinement.cpp:8-18` (hand-ported)
2//! C++ `RefinementId RefinementArena::variadic(const std::vector<RefinementId>& refis)`.
3//!
4//! The faithful body lives on the canonical inherent method
5//! `RefinementArena::variadic` (see `records/refinement_arena_refinement.rs`).
6//! This signature-disambiguated entry point mirrors the
7//! `proposition_refinement_key_type_id` precedent for this arena and delegates.
8use crate::records::refinement_arena_refinement::RefinementArena;
9use crate::type_aliases::refinement_id_refinement::RefinementId;
10
11impl RefinementArena {
12    pub fn variadic_refinement_ids(&mut self, refis: &[RefinementId]) -> RefinementId {
13        self.variadic(refis)
14    }
15}