pub fn match_prealgebra(function: Option<Prealgebra>)