s-defs-loop:


Vocabulary
logic.private

Inputs
None

Outputs
valuean object


Definition
IN: logic.private

SYMBOL: s-defs-loop: inline