Function TIMEPOINT.MINUTES

• Defined in theory: Bibliographic-data
• Source code: bibliographic-data.lisp

Slots on this function:

Documentation:

function from time points to integers representing the minutes component of the time specification.

Arity: 2

Domain: Timepoint

Range: Integer

Axioms:

(=> (Timepoint.Minutes ?Timepoint ?Minutes)
    (And (=< 0 ?Minutes) (=< ?Minutes 59)))