Function resolution_prover::term

pub fn term(value: String) -> Proposition

Creates a term from the given string.

let p = resolution_prover::term("p".to_string());

let expected = "p";

assert_eq!(p.to_string(), expected);