Module Vga_fontSource

Sourceval width : int
Sourceval height : int
Sourceval row : int -> int -> int
Sourceval bit : int -> int -> int -> bool
Sourceval of_unicode : int -> int option
Sourceval decode : string -> int -> int * int