Skip to main content

get_variable

ftml_solver::impls::backend

Function get_variable 

Source 
pub fn get_variable(
    backend: &AnyBackend,
    documents: &DashSet<Document, FxBuildHasher>,
    current: &[LeafUri],
    uri: &DocumentElementUri,
    prepare: impl Fn(Term) -> Term,
) -> Result<SharedDocumentElement<VariableDeclaration>, ()>