Type Definition mini_kanren::goals::StatSubs

type StatSubs = Substitution<'static>;