teach debugging with sexp
mimoo opened this issue · comments
printf !"%{sexp: (unit, Fp.t) Gate_spec.t list}\n" g;
and sexp_opaque and deriving sexp
associated record:
type ('row, 'f) t =
{ kind : (Kimchi.Protocol.gate_type[@sexp.opaque])
; wired_to : 'row Position.t array
; coeffs : 'f array
}
[@@deriving sexp_of]