'Ensure' breaks indentation mark when not used at the top level

[ocramz]

First of all, thank you so much for this package!

Issue: I wanted to use Ensure within a function definition,

\Procedure
\Ensure $...$
\EndProcedure

but sadly it breaks indentation:

[chrmatt]

I'm glad you like the package! The behavior you describe is expected. \Require and \Ensure are supposed to be used at the beginning of an algorithm to specify conditions on the inputs and outputs. Because of that, they are always aligned to the left. The same is true for the package algorithmicx on which algpseudocodex is based.

Depending on what you want to achieve, you can simply use \State \textbf{Ensure:} $s_0 \vdash \gamma_0$ instead.

[ocramz]

Thank you @chrmatt ! Yes, that's definitely doable. I was reaching for a library function as a reflex while trying to represent a declarative search algorithm (with Ensure acting as a backtracking checkpoint) in terms of imperative constructs.