pub fn unwrap_and(term: &Term) -> TermList {
    match term.value() {
        Value::Expression(Operation {
            operator: Operator::And,
            args,
        }) => args.clone(),
        _ => panic!("expected And, found {}", term.to_polar()),
    }
}
/// Return a cloned list of arguments from And(*args).
Return a cloned list of arguments from And(*args).
Return a cloned list of arguments from And ( * args ) .
pub fn unwrap_and(term: &Term) -> TermList {
    match term.value() {
        Value::Expression(Operation {
            operator: Operator::And,
            args,
        }) => args.clone(),
        _ => panic!("expected And, found {}", term.to_polar()),
    }
}
pub fn unwrap_and ( term : & Term ) -> TermList { match term . value ( ) { Value :: Expression ( Operation { operator : Operator :: And , args , } ) => args . clone ( ) , _ => panic ! ( " " term to_polar ( ) ) , } }
Return a cloned list of arguments from And(*args).
Return a cloned list of arguments from And ( * args ) .
term
&Term