let to_lits l = l