Hash (p.p4spectec.0.1.2.doc.p4spectec.backend_sim.Backend

Sourceval crc16_table : int array

Sourceval crc32_table : int array

Sourceval shift_bitstring_left : Bigint.t -> Bigint.t -> Bigint.t

Sourceval shift_bitstring_right : Bigint.t -> Bigint.t -> Bigint.t

Sourceval power_of_two : Bigint.t -> Bigint.t

Sourceval of_two_complement : Bigint.t -> Bigint.t -> Bigint.t

Sourceval slice_bitstring : Bigint.t -> Bigint.t -> Bigint.t -> Bigint.t

Sourceval bitwise_neg : Bigint.t -> Bigint.t -> Bigint.t

Sourceval partition_bytes : Bigint.t -> Bigint.t -> Bigint.t list

Sourceval pad_right_to_16 : (Bigint.t * Bigint.t) -> Bigint.t * Bigint.t

Sourceval compute_hash_crc16 : Bigint.t -> Bigint.t -> Bigint.t

Sourceval compute_hash_crc32 : Bigint.t -> Bigint.t -> Bigint.t

Sourceval compute_hash_csum16 : Bigint.t -> Bigint.t -> Bigint.t -> Bigint.t

Sourceval compute_hash_csum16_sub : Bigint.t -> Bigint.t -> Bigint.t -> Bigint.t

Sourceval adjust : Bigint.t -> Bigint.t -> Bigint.t -> Bigint.t

val compute_hash : 
  string ->
  ?value_init:??? ->
  (Bigint.t * Bigint.t) ->
  Bigint.t

Sourceval package : Backend_sim.Spec.Unpack.Value.t list -> Bigint.t * Bigint.t

val compute_checksum : 
  string ->
  ?value_init:??? ->
  Backend_sim.Spec.Unpack.Value.t list ->
  Bigint.t