16 lines
602 B
Coq
16 lines
602 B
Coq
|
module models
|
|||
|
|
// структуры объявляются в принципе как в гошке, заисключением того что видимо взято из С происходит деление на публичные и приватные
|
|||
|
|
// поэтому для того чтобы реализовать инкапсуляцию, если указать ключевое слово pub - будет все доступно
|
|||
|
|
|
|||
|
|
pub struct Button {
|
|||
|
|
pub mut:
|
|||
|
|
text string
|
|||
|
|
state string
|
|||
|
|
}
|
|||
|
|
|
|||
|
|
pub struct Question {
|
|||
|
|
pub mut:
|
|||
|
|
title string
|
|||
|
|
description string
|
|||
|
|
buttons []Button
|
|||
|
|
}
|