(* Options: Date: 2025-06-24 23:41:18 Version: 6.90 Tip: To override a DTO option, remove "//" prefix before updating BaseUrl: http://webservices.mbukdatabase.co.uk/AddressLookup //GlobalNamespace: //MakeDataContractsExtensible: False //AddReturnMarker: True //AddDescriptionAsComments: True //AddDataContractAttributes: False //AddIndexesToDataMembers: False //AddGeneratedCodeAttributes: False //AddResponseStatus: False //AddImplicitVersion: //ExportValueTypes: False IncludeTypes: PostcodeLookupRequest.* //ExcludeTypes: //InitializeCollections: True //AddNamespaces: *) namespace PostcodeLookupService.ServiceModel.Types open System open System.Collections open System.Collections.Generic open System.Runtime.Serialization open ServiceStack open ServiceStack.DataAnnotations /// ///This RESTful API returns UK Address data in both POST and GET. Input=Postcode(Mandatory), HouseNameorNumber=(Optional). You must provide valid authentication to make a request. /// [] [] [] [] [] [] [] [] [] type PostcodeLookupRequest() = /// ///Using a Postcode to return addresses. /// [] member val Postcode:String = null with get,set /// ///Optional input value to limit the return data to a specific address. /// [] member val HouseNo:String = null with get,set