function (type
as type) as record
type
. Each field of the returned record type has a corresponding name and a value, in the form of a record [ Type = type, Optional = logical ]
.[ A = number, optional B = any]
.[ A = [Type = type number, Optional = false], B = [Type = type any, Optional = true] ]