Define the IExec case in dep_step
Define the case IExec
in the interpreter. This will require changing the Ty.to_Set
function so that the lambdas keep the information about dependent typing.
Define the case IExec
in the interpreter. This will require changing the Ty.to_Set
function so that the lambdas keep the information about dependent typing.