( name: &str, fu: Option<fn(Term) -> Term>, ff: Option<fn(Term) -> Term>, fb: Option<fn(Term) -> Term>, fun: Option<fn(Term) -> Term>, a: T, )
source not stored for this graph (policy: none)
no test coverage detected