Module Qcert.Common.Data.Constants


Section Constants.

  Require Import String.
  Require Import List.
  
  Section World.
    Require Import Data.
    Require Import ForeignData.

    Context {fdata:foreign_data}.

    Definition WORLD:string := "WORLD"%string.
    
    Definition mkWorld (world:list data) : list (string*data)
      := (WORLD,(dcoll world))::nil.

  End World.

End Constants.