An interface for stacks that follows Core's conventions, as opposed to OCaml's standard Stack module.
Core
Stack
module type S : sig ... end