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