{
  "name": "make_time",
  "type": "function",
  "groups": ["Date and Time"],
  "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"
  }],
  "tags": ["minute", "hour", "second", "numbers", "time"]
}