Module Beloch.Fold_emit

Serialize a folded state to FOLD (https://github.com/edemaine/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 flat_assign : Sheet.t -> Fold_state.hinge -> string
val edges_faces_json : ('a * 'a, int list) Stdlib.Hashtbl.t -> ('a * 'a * 'b * 'c * 'd) list -> Yojson.Safe.t
val fold_angles_json : ('a * 'b * string * 'c * 'd) list -> Yojson.Safe.t list
val folded_frame_of_state : Sheet.t -> (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 is_program_annotation : Beloch__.Ctx.annot_entry -> bool
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 : ?trace:bool -> Eval.folded -> Yojson.Safe.t