Parameter `Make.Arg`

type primitive

val eqint : Arg.primitive

val neint : Arg.primitive

val leint : Arg.primitive

val ltint : Arg.primitive

val geint : Arg.primitive

val gtint : Arg.primitive

type loc

type arg

type test

type act

type layout

val bind : Arg.arg -> (Arg.arg -> Arg.act) -> Arg.act

val make_const : Arg.loc -> int -> Arg.arg

val make_offset : Arg.loc -> Arg.arg -> int -> Arg.arg

val make_prim : Arg.loc -> Arg.primitive -> Arg.arg list -> Arg.test

val make_isout : Arg.loc -> Arg.arg -> Arg.arg -> Arg.test

val make_isin : Arg.loc -> Arg.arg -> Arg.arg -> Arg.test

val make_is_nonzero : Arg.loc -> Arg.arg -> Arg.test

val arg_as_test : Arg.arg -> Arg.test

val make_if : Arg.layout -> Arg.test -> Arg.act -> Arg.act -> Arg.act

val make_switch : 
  Arg.loc ->
  Arg.layout ->
  Arg.arg ->
  int array ->
  Arg.act array ->
  Arg.act

val make_catch : Arg.layout -> Arg.act -> Static_label.t * (Arg.act -> Arg.act)

val make_exit : Static_label.t -> Arg.act

Parameter Make.Arg