CurryInfo: property-prover-2.0.0 / TransState.setFreshVarIndex

definition:
setFreshVarIndex :: Int -> TransStateM ()
setFreshVarIndex fvi = do
  st <- get
  put $ st { freshVar = fvi }
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
-- Sets the fresh variable index in the state.
failfree:
_
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_) |-> _}
name:
setFreshVarIndex
precedence:
no precedence defined
result-values:
_
signature:
Prelude.Int
-> Control.Monad.Trans.State.StateT TransState (Control.Monad.Trans.State.StateT VerifierState.VState Prelude.IO) ()
solution-complete:
operation might suspend on free variables
terminating:
possibly non-terminating
totally-defined:
reducible on all ground data terms