Syfco
data Configuration
data WriteFormat
data WriteMode
data Semantics
data Target
data Specification
data Error
defaultCfg
update
verify
source
title
description
semantics
target
tags
parameters
signals
inputs
outputs
symboltable
fromTLSF
apply
checkGR
version