CurryInfo: cdbi-3.2.0 / Database.CDBI.Criteria..<.

demand:
no demanded arguments
deterministic:
deterministic operation
failfree:
()
indeterministic:
referentially transparent operation
iotype:
{() |-> {lessThan}}
name:
.<.
result-values:
{lessThan}
solution-complete:
operationally complete operation
terminating:
yes
totally-defined:
reducible on all ground data terms