Csir (mavkit-libs.Plompiler.Csir)

val nb_wires_arch : int

val wire_prefix : string

val string_key_of_int : nb_digits:int -> int -> string

val wire_name : int -> string

val int_of_wire_name : string -> int

val linear_selector_name : int -> string

val add_next_wire_suffix : string -> string

module Scalar : sig ... end

module Table : sig ... end

val table_or : Table.t

val table_xor : Table.t

val table_band : Table.t

val table_bnot : Table.t

val generate_lookup_table_op1 : 
  nb_bits:int ->
  (int -> int) ->
  Scalar.t array list

val generate_lookup_table_op2 : 
  nb_bits:int ->
  (int -> int -> int) ->
  Scalar.t array list

val table_bnot4 : Table.t

val table_xor4 : Table.t

val table_band4 : Table.t

val rotate_right : nb_bits:int -> int -> int -> int -> int

val table_rotate_right4_1 : Table.t

val table_rotate_right4_2 : Table.t

val table_rotate_right4_3 : Table.t

module Tables : sig ... end

val table_registry : Table.t Tables.t

module CS : sig ... end