Tezos_layer2_shell.Replval loop :
'state Commands.command Tezos_base.TzPervasives.trace ->
'state ->
LTerm.t ->
unit Lwt.tloop cmds state term starts a new read-eval-print loop allowing users to interactively execute the commands in cmds on top of the provided state..