ToFirstLayer adds a hint to the target variable to bring it to the first layer.
(v frontend.Variable)
| 249 | |
| 250 | // ToFirstLayer adds a hint to the target variable to bring it to the first layer. |
| 251 | func (builder *builder) ToFirstLayer(v frontend.Variable) frontend.Variable { |
| 252 | x, _ := builder.NewHint(IdentityHint, 1, v) |
| 253 | builder.AssertIsEqual(x[0], v) |
| 254 | return x[0] |
| 255 | } |
| 256 | |
| 257 | // Defer adds a callback function to the defer list to be processed later. |
| 258 | func (builder *builder) Defer(cb func(frontend.API) error) { |
nothing calls this directly
no test coverage detected