typedef literal-clause-constraint