Cubicle 1.1.2 documentation and source : Variable.build

let build_subst args a_args =
  let rec a_subst acc args a_args =
    match args, a_args with
      | [], _ -> List.rev acc
      | x::args, ax::a_args ->
	a_subst ((x, ax)::acc) args a_args
      | _ -> assert false
  in
  a_subst [] args a_args