Skip to content

Commit a925df1

Browse files
committed
ENH: convert syntax tree to JSON
1 parent b82e2fd commit a925df1

File tree

10 files changed

+1183
-1
lines changed

10 files changed

+1183
-1
lines changed

src/expr.mli

Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -308,6 +308,42 @@ module Visit : sig
308308
method rename : ctx -> hyp -> Util.hint -> hyp * Util.hint
309309
method renames : ctx -> hyp list -> Util.hint list -> hyp list * Util.hint list
310310
end
311+
312+
val hyps_of_bounds: bounds -> hyp list
313+
314+
class virtual ['s] json_map: object
315+
method expr:
316+
's scx -> expr -> string
317+
method sel:
318+
's scx -> sel -> string
319+
method sequent:
320+
's scx -> sequent -> string
321+
method defn:
322+
's scx -> defn -> string
323+
method defns:
324+
's scx -> defn list ->
325+
's scx * string
326+
method bounds: 's scx -> bounds ->
327+
's scx * string
328+
method bound: 's scx -> bound ->
329+
's scx * string
330+
method exspec:
331+
's scx -> exspec -> string
332+
method instance:
333+
's scx -> instance -> string
334+
method hyp:
335+
's scx -> hyp -> 's scx * string
336+
method hyps:
337+
's scx -> hyp Deque.dq ->
338+
's scx * string
339+
method adj:
340+
's scx -> hyp -> 's scx
341+
method adjs:
342+
's scx -> hyp list -> 's scx
343+
end
344+
val format_parameter:
345+
Util.hint * shape -> string
346+
val json_of_ast: ctx -> expr -> string
311347
end;;
312348

313349
module Eq : sig

0 commit comments

Comments
 (0)