@@ -122,51 +122,6 @@ equivalentRecord(Bigint256Bindings, wasm, {
122122 caml_bigint_256_deep_copy : { from : [ bigint256 ] , to : bigint256 } ,
123123} ) ;
124124
125- equivalentRecord (
126- FpBindings as Omit <
127- typeof FpBindings ,
128- | 'caml_pasta_fp_copy'
129- | 'caml_pasta_fp_mut_add'
130- | 'caml_pasta_fp_mut_sub'
131- | 'caml_pasta_fp_mut_mul'
132- | 'caml_pasta_fp_mut_square'
133- > ,
134- wasm ,
135- {
136- caml_pasta_fp_size_in_bits : { from : [ ] , to : number } ,
137- caml_pasta_fp_size : { from : [ ] , to : fp } ,
138- caml_pasta_fp_add : { from : [ fp , fp ] , to : fp } ,
139- caml_pasta_fp_sub : { from : [ fp , fp ] , to : fp } ,
140- caml_pasta_fp_negate : { from : [ fp ] , to : fp } ,
141- caml_pasta_fp_mul : { from : [ fp , fp ] , to : fp } ,
142- caml_pasta_fp_div : { from : [ fp , fp ] , to : fp } ,
143- caml_pasta_fp_inv : { from : [ fp ] , to : option ( fp ) } ,
144- caml_pasta_fp_square : { from : [ fp ] , to : fp } ,
145- caml_pasta_fp_is_square : { from : [ fp ] , to : boolean } ,
146- caml_pasta_fp_sqrt : { from : [ fp ] , to : option ( fp ) } ,
147- caml_pasta_fp_of_int : { from : [ uint31 ] , to : fp } ,
148- caml_pasta_fp_to_string : { from : [ fp ] , to : decimalString } ,
149- caml_pasta_fp_of_string : { from : [ decimalString ] , to : fp } ,
150- caml_pasta_fp_print : undefined , // this would spam the console
151- // these aren't defined in Rust
152- // caml_pasta_fp_copy: { from: [fp, fp], to: unit },
153- // caml_pasta_fp_mut_add: { from: [fp, fp], to: unit },
154- // caml_pasta_fp_mut_sub: { from: [fp, fp], to: unit },
155- // caml_pasta_fp_mut_mul: { from: [fp, fp], to: unit },
156- // caml_pasta_fp_mut_square: { from: [fp], to: unit },
157- caml_pasta_fp_compare : { from : [ fp , fp ] , to : number } ,
158- caml_pasta_fp_equal : { from : [ fp , fp ] , to : boolean } ,
159- caml_pasta_fp_random : undefined , // random outputs won't match
160- caml_pasta_fp_rng : undefined , // random outputs won't match
161- caml_pasta_fp_to_bigint : { from : [ fp ] , to : bigint256 } ,
162- caml_pasta_fp_of_bigint : { from : [ bigint256 ] , to : fp } ,
163- caml_pasta_fp_two_adic_root_of_unity : { from : [ ] , to : fp } ,
164- caml_pasta_fp_domain_generator : { from : [ numberLessThan ( 32 ) ] , to : fp } ,
165- caml_pasta_fp_to_bytes : undefined , // not implemented
166- caml_pasta_fp_of_bytes : undefined , // not implemented
167- caml_pasta_fp_deep_copy : { from : [ fp ] , to : fp } ,
168- }
169- ) ;
170125
171126equivalentRecord (
172127 FqBindings as Omit <
0 commit comments