monday<= ( timestamp -- timestamp' )


Vocabulary
calendar

Inputs
timestampan object


Outputs
timestamp'an object


Definition

: monday<= ( timestamp -- timestamp' ) [ monday ] day<= ;