module properties is

  import [ skos ]

  datatype AccountId <- integer

  property accountId -> AccountId is
    @skos:definition = "a"@en
  end

  structure Account is

    ref accountId

    name -> string

  end

end
