Moduli: interfaccie
# module type PILA =
sig
type 'a stack (* abstract *)
val emptystack : 'a stack
val push : 'a stack -> 'a -> 'a stack
val pop : 'a stack -> 'a stack
val top : 'a stack -> 'a
end;;
module type PILA =
sig
type 'a stack
val emptystack : 'a stack
val push : 'a stack -> 'a -> 'a stack
val pop : 'a stack -> 'a stack
val top : 'a stack -> 'a
end
Previous slide
Next slide
Back to first slide
View graphic version