kael 05 Jul 2023 in Public programming rust typing wikipedia:en=Abstract_syntax_tree wikipedia:en=Type_inference wikipedia:en=Constraint_programming