Module prop_check_rs::state

Structs

• State
  The State monad represents a stateful computation.
  Stateモナドは状態付き計算を表します。