Previous
Up
Module
Word_size
module
Word_size:
sig
..
end