14 lines
438 B
Plaintext
Raw Normal View History

{
"name": "make_time",
"type": "function",
"description": "Creates a time value from hour, minute and second numbers.",
"arguments": [
{"arg":"hour", "description":"Hour number"},
{"arg":"minute", "description":"Minutes"},
{"arg":"second", "description":"Seconds (fractional values include milliseconds)"}
],
"examples": [
{ "expression":"make_time(13,45,30.5)", "returns":"time value 13:45:30.500"}
]
}