Types_map (pickles.Pickles.Types

type inner_curve_var =
  Backend.Tick.Field.t Snarky_backendless.Cvar.t
  * Backend.Tick.Field.t Snarky_backendless.Cvar.t

module Basic : sig ... end

module Side_loaded : sig ... end

module Compiled : sig ... end

module For_step : sig ... end

type t

val univ : t

val lookup_compiled : 
  ( 'var, 'value, 'n, 'm ) Tag.id ->
  ( 'var, 'value, 'n, 'm ) Compiled.t

val lookup_side_loaded : 
  ( 'var, 'value, 'n, 'm ) Tag.id ->
  ( 'var, 'value, 'n, 'm ) Side_loaded.t

val lookup_basic : 
  ( 'var, 'value, 'n, 'm ) Tag.t ->
  ( 'var, 'value, 'n, 'm ) Basic.t

val add_side_loaded : 
  name:string ->
  ( 'a, 'b, 'c, 'd ) Side_loaded.Permanent.t ->
  ( 'a, 'b, 'c, 'd ) Tag.t

val max_proofs_verified : 
  ( 'a, 'b, 'n1, 'c ) Tag.t ->
  (module Pickles_types.Nat.Add.Intf
  with type n = 'n1)

val uses_lookup : ( _, _, _, _ ) Tag.t -> Pickles_types.Plonk_types.Opt.Flag.t

val add_exn : 
  ( 'var, 'value, 'c, 'd ) Tag.t ->
  ( 'var, 'value, 'c, 'd ) Compiled.t ->
  unit

val set_ephemeral : ( _, _, _, _ ) Tag.t -> Side_loaded.Ephemeral.t -> unit

val public_input : 
  ( 'var, 'value, _, _ ) Tag.t ->
  ( 'var, 'value ) Impls.Step.Typ.t