Basic_session
val session : dialect:Basic_run.dialect -> program:Basic_run.program -> string -> unit Talk.talk