type DatasetId = String

type SiteId = String

type TileId = String

pub(all) enum ClaimKind {
  Measured
  Derived
  Simulated
  Assumed
  Unknown
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct LunarBounds {
  south_deg : Double
  north_deg : Double
  west_deg : Double
  east_deg : Double
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct LunarCoordinate {
  latitude_deg : Double
  longitude_deg : Double
  radius_m : Double
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct LunarSite {
  site_id : String
  name : String
  body : String
  bounds : LunarBounds
  center : LunarCoordinate
  purpose : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct Provenance {
  dataset_id : String
  source_title : String
  source_url : String
  license : String
  product_type : String
  claim_kind : ClaimKind
  generated_by : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct TerrainCell {
  tile_id : String
  row : Int
  col : Int
  elevation_m : Double
  provenance : Provenance
  uncertainty : Uncertainty
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct Uncertainty {
  confidence : Double
  label : String
  note : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

fn claim_kind_label(kind : ClaimKind) -> String

fn confidence_label(confidence : Double) -> String

fn derived_provenance(source : Provenance, generated_by : String, product_type : String) -> Provenance

fn measured_provenance(dataset_id : String, source_title : String, source_url : String, license : String, product_type : String) -> Provenance

fn uncertainty(confidence : Double, note : String) -> Uncertainty