Span.Checked
type t
val typ : ( t, Stable.V1.t ) Snark_params.Tick.Typ.t
val to_input : t -> Snark_params.Tick.Field.Var.t Random_oracle_input.Chunked.t
val to_field : t -> Snark_params.Tick.Field.Var.t
module Unsafe : sig ... end