this repo has no description
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

Remove duplicated code

+2 -5
+2 -5
lib/Concrete_syntax.ml
··· 1 - open Algebra 1 + open Algebra 2 2 3 3 module type S = sig 4 4 type content ··· 62 62 63 63 and tree_layer_content : tree layer -> content = function 64 64 | Token tok -> tok.content 65 - | Node node -> 66 - List.fold_left 67 - (fun acc tree -> I.Content.S.append acc (tree_content tree)) 68 - I.Content.S.empty node.children 65 + | Node node -> tree_node_content node 69 66 70 67 and tree_node_content (node : tree node) : content = 71 68 List.fold_left