Module type `Switch.S`

type primitive

val eqint : primitive
val neint : primitive
val leint : primitive
val ltint : primitive
val geint : primitive
val gtint : primitive

type act

val bind : act -> (act -> act) -> act
val make_const : int -> act
val make_offset : act -> int -> act
val make_prim : primitive -> act list -> act
val make_isout : act -> act -> act
val make_isin : act -> act -> act
val make_if : act -> act -> act -> act
val make_switch : Location.t -> act -> int array -> act array -> act
val make_catch : act -> int * (act -> act)
val make_exit : int -> act