mirror of
https://github.com/XAMPPRocky/tokei.git
synced 2026-09-30 11:16:28 +02:00
12 lines
210 B
Plaintext
12 lines
210 B
Plaintext
(* 11 lines 3 code 5 comments 3 blanks *)
|
|
|
|
module Hello
|
|
|
|
(* multi
|
|
line
|
|
comment *)
|
|
open FStar.IO // uncounted comment
|
|
|
|
// single line comment
|
|
let main = print_string "Hello, F*!\n" (* uncounted comment *)
|