Fold_emit (beloch.Beloch.Fold

val q_to_json : Num.t -> Yojson.Safe.t

val mark_assign_str : Fold_state.assign -> string

val mark_json : Fold_state.mark -> Yojson.Safe.t

val vertices_names_json : 
  Geom.point Stdlib.Dynarray.t ->
  (string * Geom.point) list ->
  Yojson.Safe.t

val beloch_edges_json : 
  ('a * 'b * 'c * State.provenance option * int option) list ->
  Yojson.Safe.t

val cp_display : Fold_state.t -> Fold_state.t * Fold_state.mark list

val folded_frame_of_state : 
  (string * Geom.point) list ->
  Fold_state.t ->
  Error.span option ->
  Yojson.Safe.t

val stmt_json : int option -> Yojson.Safe.t

val beloch_statements_json : Eval.stmt_log_entry list -> Yojson.Safe.t

val beloch_annotations_json : 
  Beloch__.Ctx.annot_entry list ->
  int ->
  Yojson.Safe.t

val beloch_references_json : Beloch__.Ctx.reference list -> Yojson.Safe.t

val beloch_inspect_json : 
  Fold_state.t ->
  (string * Geom.point * int * int option) list ->
  (string * int) list ->
  Yojson.Safe.t

val to_json_folded : Eval.folded -> Yojson.Safe.t