PState (gillian.Engine.PState)

module type S = sig ... end

Interface for GIL General States. They are considered to be mutable.

module Make
  (State : SState.S) : 
  S
    with type state_t = State.t
     and type heap_t = State.heap_t
     and type m_err_t = State.m_err_t
     and type init_data = State.init_data