Module `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