Unsafe (rocq-runtime.Proofview_monad.Logical.Unsafe)

type state = Logic_monad.Logical(P).Unsafe.state = {

rstate : P.e;

ustate : P.u;

wstate : P.w;

sstate : P.s;

}

val make : ('a, state, state, Exninfo.iexn) Logic_monad.BackState.t -> 'a t

val repr : 'a t -> ('a, state, state, Exninfo.iexn) Logic_monad.BackState.t