Parameter Make.Arg

type primitive;
let eqint: primitive;
let neint: primitive;
let leint: primitive;
let ltint: primitive;
let geint: primitive;
let gtint: primitive;
type loc;
type arg;
type test;
type act;
let bind: arg => (arg => act) => act;
let make_const: int => arg;
let make_offset: arg => int => arg;
let make_prim: primitive => list(arg) => test;
let make_isout: arg => arg => test;
let make_isin: arg => arg => test;
let make_is_nonzero: arg => test;
let arg_as_test: arg => test;
let make_if: test => act => act => act;
let make_switch: loc => arg => array(int) => array(act) => offset:int => option(Lambda.switch_names) => act;
let make_catch: act => (int, (act => act));
let make_exit: int => act;