Test (snarky_field_extensions.Snarky_field_extensions.Field

val checked_to_unchecked : 
  ( 'vin, 'valin ) Typ.t ->
  ( 'vout, 'valout ) Typ.t ->
  ( 'vin -> 'vout Checked.t ) ->
  'valin ->
  'valout

val test_equal : 
  ?sexp_of_t:( 'valout -> Core_kernel.Sexp.t ) ->
  ?equal:( 'valout -> 'valout -> bool ) ->
  ( 'vin, 'valin ) Typ.t ->
  ( 'vout, 'valout ) Typ.t ->
  ( 'vin -> 'vout Checked.t ) ->
  ( 'valin -> 'valout ) ->
  'valin ->
  unit