Input.Length
type input = Mina_numbers.Length.t
val arg_typ : ( Mina_numbers.Length.t option, input option ) Schema.Arg.arg_typ