Step_monad.Component_finished
type ('a, 'o) t = {
output : 'o;
result : 'a;
}
val sexp_of_t : ( 'a -> Sexplib0.Sexp.t ) -> ( 'o -> Sexplib0.Sexp.t ) -> ( 'a, 'o ) t -> Sexplib0.Sexp.t