Function hvm::runtime::base::program::term_to_core

source · 
pub fn term_to_core(book: &RuleBook, term: &Term, inps: &[String]) -> Core
Expand description

converts a language term to a runtime term