Module Plompiler.CsirSource

Sourceval nb_wires_arch : int
Sourceval wire_prefix : string
Sourceval string_key_of_int : nb_digits:int -> int -> string
Sourceval wire_name : int -> string
Sourceval int_of_wire_name : string -> int
Sourceval linear_selector_name : int -> string
Sourceval add_next_wire_suffix : string -> string
Sourcemodule Scalar : sig ... end
Sourcemodule Table : sig ... end
Sourceval table_or : Table.t
Sourceval table_xor : Table.t
Sourceval table_band : Table.t
Sourceval table_bnot : Table.t
Sourceval generate_lookup_table_op1 : nb_bits:int -> (int -> int) -> Scalar.t array list
Sourceval generate_lookup_table_op2 : nb_bits:int -> (int -> int -> int) -> Scalar.t array list
Sourceval table_bnot4 : Table.t
Sourceval table_xor4 : Table.t
Sourceval table_band4 : Table.t
Sourceval rotate_right : nb_bits:int -> int -> int -> int -> int
Sourceval table_rotate_right4_1 : Table.t
Sourceval table_rotate_right4_2 : Table.t
Sourceval table_rotate_right4_3 : Table.t
Sourcemodule Tables : sig ... end
Sourceval table_registry : Table.t Tables.t
Sourcemodule CS : sig ... end