let
inputtype =
StdOpt
.str_option ()