1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
use super::MicroFetcher; use crate::oracles::TERM; pub struct Term; impl MicroFetcher for Term { fn get_type(&self) -> &str { "Term" } fn get_name(&self) -> &str { "term" } fn get_text(&self) -> &str { &TERM } }