Type Alias FromTractWithOp

pub type FromTractWithOp<O> = fn(_: &mut IntoAst<'_>, _: &Node<TypedFact, Box<dyn TypedOp>>, _: &O) -> Result<Option<Arc<RValue>>, Error>;