Struct erg_compiler::ty::RefinementType
source · pub struct RefinementType {
pub var: Str,
pub t: Box<Type>,
pub pred: Box<Predicate>,
}
Expand description
e.g.
{I: Int | I >= 0}
{_: StrWithLen N | N >= 0}
{T: (Int, Int) | T.0 >= 0, T.1 >= 0}
Fields§
§var: Str
§t: Box<Type>
§pred: Box<Predicate>
Implementations§
Trait Implementations§
source§impl Clone for RefinementType
impl Clone for RefinementType
source§fn clone(&self) -> RefinementType
fn clone(&self) -> RefinementType
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for RefinementType
impl Debug for RefinementType
source§impl Display for RefinementType
impl Display for RefinementType
source§impl Hash for RefinementType
impl Hash for RefinementType
source§impl LimitedDisplay for RefinementType
impl LimitedDisplay for RefinementType
source§impl PartialEq<RefinementType> for RefinementType
impl PartialEq<RefinementType> for RefinementType
source§fn eq(&self, other: &RefinementType) -> bool
fn eq(&self, other: &RefinementType) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.