Packages

FT FormalTalk ERP.UNO Compiler

Current section

Files

Jump to
ft priv kvs assistantMark.kvs
Raw

priv/kvs/assistantMark.kvs

module assistantMark kvs
import assistant
record assistantMark
begin id = [] : list | status = [] : [] + atom | assistant = [] : ERP.assistant end