Module Ascii_table_kernel__

module Ascii_table_kernel_intf : sig ... end