import * as t from 'io-ts' ; import { RTTI_Extension , IExtension } from './RTTI_Extension' ; import { RTTI_positiveInt } from '../Scalar/RTTI_positiveInt' ; import { RTTI_Element , IElement } from './RTTI_Element' ; import { RTTI_Reference , IReference } from './RTTI_Reference' ; export interface IClaimResponse_Insurance { /**
     * Reference to the insurance card level information contained in the Coverage resource. The coverage issuing insurer will use these details to locate the patient's actual coverage within the insurer's information system.
     */ coverage : IReference ; /**
     * Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces.
     */ id ? : string ; /**
     * May be used to represent additional information that is not part of the basic definition of the element. To make the use of extensions safe and manageable, there is a strict set of governance  applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension.
     */ extension ? : IExtension [ ] ; /**
                     * May be used to represent additional information that is not part of the basic definition of the element and that modifies the understanding of the element in which it is contained and/or the understanding of the containing element's descendants. Usually modifier elements provide negation or qualification. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension. Applications processing a resource are required to check for modifier extensions.

Modifier extensions SHALL NOT change the meaning of any elements on Resource or DomainResource (including cannot change the meaning of modifierExtension itself).
                     */ modifierExtension ? : IExtension [ ] ; /**
     * A number to uniquely identify insurance entries and provide a sequence of coverages to convey coordination of benefit order.
     */ sequence ? : number ; /**
     * Extensions for sequence
     */ _sequence ? : IElement ; /**
     * A flag to indicate that this Coverage is to be used for adjudication of this claim when set to true.
     */ focal ? : boolean ; /**
     * Extensions for focal
     */ _focal ? : IElement ; /**
     * A business agreement number established between the provider and the insurer for special business processing purposes.
     */ businessArrangement ? : string ; /**
     * Extensions for businessArrangement
     */ _businessArrangement ? : IElement ; /**
     * The result of the adjudication of the line items for the Coverage specified in this insurance.
     */ claimResponse ? : IReference ; } export const RTTI_ClaimResponse_Insurance = t . recursion ( 'IClaimResponse_Insurance' , ( ) => t . intersection ( [ t . type ( { coverage : RTTI_Reference } ) , t . partial ( { id : t . string , extension : t . array ( RTTI_Extension ) , modifierExtension : t . array ( RTTI_Extension ) , sequence : RTTI_positiveInt , _sequence : RTTI_Element , focal : t . boolean , _focal : RTTI_Element , businessArrangement : t . string , _businessArrangement : RTTI_Element , claimResponse : RTTI_Reference } ) ] ) ) ;