Source

core hello world / hello_client.mli

(* A command-line program *)