Util (snarky_integer.Snarky

module B = Bigint

val bigint_to_field : 
  m:( 'f, 'v ) Snarky_backendless.Snark.m ->
  Snarky_backendless__Snark_intf.Bignum_bigint.t ->
  'f0

val bigint_of_field : 
  m:( 'f, 'v ) Snarky_backendless.Snark.m ->
  'f0 ->
  Snarky_backendless__Snark_intf.Bignum_bigint.t