Type Alias ToTract 

pub type ToTract = fn(&mut ModelBuilder<'_>, &ResolvedInvocation<'_>) -> Result<Value, Error>;