Module seec::executor

Executor for a generic protocol.

Structs

• Executor
• ExecutorMsg
• GateOutputs

Enums

• Input

Type Aliases

• BoolGmwExecutor
• DynFDSetup
• Message
• Output