pub struct PrimOpProp {
pub name: Ident,
pub op: BinOp,
pub params: RefineParams,
pub body: Expr,
pub span: Span,
}
Expand description
A (currently global) primop property; see tests/tests/pos/surface/
Fields§
§name: Ident
The name of the property
op: BinOp
The binop it is attached to
params: RefineParams
The sort at which the primop is defined,
The binders for the inputs of the primop; the output sort is always Bool
body: Expr
The actual definition of the property
span: Span
Trait Implementations§
Auto Trait Implementations§
impl Freeze for PrimOpProp
impl RefUnwindSafe for PrimOpProp
impl Send for PrimOpProp
impl Sync for PrimOpProp
impl Unpin for PrimOpProp
impl UnwindSafe for PrimOpProp
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more