Module core

Source

Functionsยง

simulate
Simulates the run of a single libfunc. Returns the value representations of the outputs, and the chosen branch given the inputs.