Trait razor_fol::syntax::FApp

pub trait FApp: Sized {
    fn apply(function: F, terms: Vec<Self>) -> Self;
}

Is the trait for types that can be passed to a function of type F as arguments.

Required methods

fn apply(function: F, terms: Vec<Self>) -> Self

Builds a composite term by applying function on terms as arguments.

Loading content...

Implementors

impl FApp for Term

fn apply(function: F, terms: Vec<Term>) -> Self

Loading content...