let of_list l : t =       fun def ->         List.find l ~f:(fun {definition; _} -> definition = def)