Redefine DV_ORDERED.less_than as infix function '<'

Description

The function "less_than" of the class DV_ORDERED should
be defined as an infix function '<' since infix and prefix
functions are already used elsewhere. If there are concrete formalisms
which do not support infix operators, this function can be renamed
to "less_than" in the relevant ITS.

Status

Assignee

JeffJ

Reporter

JeffJ

Raised By

None

Priority

Trivial
Configure