{
    "additionalProperties": false,
    "definitions": {
        "sdgps::interfaces::solution::TimeStream": {
            "additionalProperties": false,
            "properties": {
                "ambiguity_period": {},
                "name": {
                    "type": "string"
                }
            },
            "required": ["name"],
            "type": "object"
        }
    },
    "properties": {
        "antenna_delay_keys": {
            "items": {
                "type": "string"
            },
            "type": "array",
            "unevaluatedItems": false
        },
        "max_sample_latency_relative_to_observables": {
            "type": "number"
        },
        "sample_offset": {
            "type": "number"
        },
        "sample_rate": {},
        "time_streams": {
            "items": {
                "$ref": "#/definitions/sdgps::interfaces::solution::TimeStream"
            },
            "type": "array",
            "unevaluatedItems": false
        }
    },
    "required": ["sample_offset", "sample_rate"],
    "type": "object"
}