eqlog 0.9.0

Datalog with equality
Documentation 
1
2
3
4
5
6
7
8
9

use std::fmt::{Display, Formatter, Result};

pub struct FmtFn<F: Fn(&mut Formatter) -> Result>(pub F);

impl<F: Fn(&mut Formatter) -> Result> Display for FmtFn<F> {
    fn fmt(&self, f: &mut Formatter<'_>) -> Result {
        self.0(f)
    }
}