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