Plasma GitLab Archive
Projects Blog Knowledge

sig
  type 'a data_manager = {
    to_int32_array : '-> Netshm.int32_array;
    of_int32_array : Netshm.int32_array list -> 'a;
    of_int32_array_prefix : (Netshm.int32_array list -> 'a option) option;
    hash_fn : '-> int32;
  }
  val int32_manager : int32 Netshm_data.data_manager
  val int64_manager : int64 Netshm_data.data_manager
  val nativeint_manager : nativeint Netshm_data.data_manager
  val int_manager : int Netshm_data.data_manager
  val int32_array_manager : Netshm.int32_array Netshm_data.data_manager
  val string_manager : string Netshm_data.data_manager
  val pair_manager :
    'Netshm_data.data_manager ->
    'Netshm_data.data_manager -> ('a * 'b) Netshm_data.data_manager
  val left_pair_manager :
    'Netshm_data.data_manager -> 'Netshm_data.data_manager
  val option_manager :
    'Netshm_data.data_manager -> 'a option Netshm_data.data_manager
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml