let
to_lits l = l