Plonk_checks.Scalarsval equal_curr_or_next :
curr_or_next ->
curr_or_next ->
Ppx_deriving_runtime.boolval hash_fold_curr_or_next :
Ppx_hash_lib.Std.Hash.state ->
curr_or_next ->
Ppx_hash_lib.Std.Hash.stateval hash_curr_or_next : curr_or_next -> Ppx_hash_lib.Std.Hash.hash_valueval compare_curr_or_next : curr_or_next -> curr_or_next -> intval curr_or_next_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> curr_or_nextval sexp_of_curr_or_next : curr_or_next -> Ppx_sexp_conv_lib.Sexp.tmodule Gate_type : sig ... endmodule Lookup_pattern : sig ... endmodule Column : sig ... endmodule Env : sig ... endmodule type S = sig ... endmodule Tick_with_lookup : Smodule Tock_with_lookup : S