12 lines
205 B
OCaml
12 lines
205 B
OCaml
(** A stack action (pop is run first, then push sequentially) *)
|
|
type 'a t =
|
|
{ pop : int
|
|
; push : 'a list
|
|
}
|
|
|
|
val merge : 'a t -> 'a t -> 'a t
|
|
|
|
val empty : 'a t
|
|
|
|
val map : ('a -> 'b) -> 'a t -> 'b t
|