module Stack: module type of Stack with type 'a t := 'a Stack.t
module type of Stack
with type 'a t := 'a Stack.t