A signature from the formals in the order R declares them, e.g. sig({ x: Forced.Value, '...': Forced.Value }).
sig({ x: Forced.Value, '...': Forced.Value })
A signature from the formals in the order R declares them, e.g.
sig({ x: Forced.Value, '...': Forced.Value }).