Struct RefinementArena 

pub struct RefinementArena { /* private fields */ }

Implementations

impl RefinementArena

pub fn conjunction_refinement_id_refinement_id( &mut self, lhs: RefinementId, rhs: RefinementId, ) -> RefinementId

impl RefinementArena

pub fn disjunction_refinement_id_refinement_id( &mut self, lhs: RefinementId, rhs: RefinementId, ) -> RefinementId

impl RefinementArena

pub fn equivalence_refinement_id_refinement_id( &mut self, lhs: RefinementId, rhs: RefinementId, ) -> RefinementId

impl RefinementArena

pub fn implicit_proposition_refinement_key_type_id( &mut self, key: *const RefinementKey, discriminant_ty: TypeId, ) -> RefinementId

impl RefinementArena

pub fn negation_refinement_id( &mut self, refinement: RefinementId, ) -> RefinementId

impl RefinementArena

pub fn proposition_refinement_key_type_id( &mut self, key: *const RefinementKey, discriminant_ty: TypeId, ) -> RefinementId

impl RefinementArena

pub fn variadic_refinement_ids( &mut self, refis: &[RefinementId], ) -> RefinementId

impl RefinementArena

pub fn variadic(&mut self, refis: &[RefinementId]) -> RefinementId

pub fn negation(&mut self, refinement: RefinementId) -> RefinementId

pub fn conjunction( &mut self, lhs: RefinementId, rhs: RefinementId, ) -> RefinementId

pub fn disjunction( &mut self, lhs: RefinementId, rhs: RefinementId, ) -> RefinementId

pub fn equivalence( &mut self, lhs: RefinementId, rhs: RefinementId, ) -> RefinementId

pub fn proposition( &mut self, key: *const RefinementKey, discriminant_ty: TypeId, ) -> RefinementId

pub fn implicit_proposition( &mut self, key: *const RefinementKey, discriminant_ty: TypeId, ) -> RefinementId

Trait Implementations

impl Debug for RefinementArena

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.