hara_native/lang/protocol/
ipopfirst.rs1use hara_protocol_macros::hara_protocol;
2
3#[hara_protocol(namespace = "std.protocol.ipopfirst", name = "IPopFirst")]
4pub trait IPopFirst {
5 type Output;
6
7 #[hara_method(value = "pop-first", arity = 1)]
8 fn pop_first(&self) -> Self::Output;
9}