sig
  val get_param0 : 'a list -> unit
  val get_param1 : 'a list -> 'a
  val get_param2 : 'a list -> 'a * 'a
  val get_param3 : 'a list -> 'a * 'a * 'a
  val get_param4 : 'a list -> 'a * 'a * 'a * 'a
  val get_array_param0 : 'a array -> unit
  val get_array_param1 : 'a array -> 'a
  val get_array_param2 : 'a array -> 'a * 'a
  val get_array_param3 : 'a array -> 'a * 'a * 'a
  val get_array_param4 : 'a array -> 'a * 'a * 'a * 'a
end