Module Expert.View

type +_ t = private
  1. | Sequence : {
    1. state : 's;
    2. next : 's -> ('a, 's) Step.t;
    } -> 'a t