functioninferBindings

Update bindings for a verification model.

Inputs

TypeNameDefaultDescription
TypeNamepath

Outputs

TypeNameDefaultDescription
Booleansuccess