Make_test (snarky_field_extensions.Snarky_field_extensions.Field_extensions.Make

Parameters

module F : Intf.Basic

Signature

val test : 
  ( 'a, 'b ) F.Impl.Typ.t ->
  'c Base_quickcheck.Generator.t ->
  ( 'd -> Ppx_sexp_conv_lib.Sexp.t ) ->
  string ->
  ( 'e -> F.Unchecked.t ) ->
  ( 'f -> F.t F.Impl.Checked.t ) ->
  Core_kernel__.Import.unit

val test1 : 
  string ->
  ( F.Unchecked.t -> F.Unchecked.t ) ->
  ( F.t -> F.t F.Impl.Checked.t ) ->
  Core_kernel__.Import.unit

val test2 : 
  string ->
  ( F.Unchecked.t -> F.Unchecked.t -> F.Unchecked.t ) ->
  ( F.t -> F.t -> F.t F.Impl.Checked.t ) ->
  Core_kernel__.Import.unit