package comby
A tool for structural code search and replace that supports ~every language
Install
Dune Dependency
Authors
Maintainers
Sources
1.2.2.tar.gz
md5=86fd3dcdaa792a5d871f695a082ad9b5
sha512=63af340d65f4ca37f00bee2a67c7a87822ef15c86051e6486c6eeb5d7fe310c845d4fff15625a72b48ceea89e14aff52dc678da1d43d2029f58b435885d568d8
doc/src/comby.language/ast.ml.html
Source file ast.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28open Core type atom = | Variable of string | String of string [@@deriving sexp] type antecedent = atom [@@deriving sexp] type expression = | True | False | Option of string | Equal of atom * atom | Not_equal of atom * atom | Match of atom * (antecedent * consequent) list | RewriteTemplate of string | Rewrite of atom * (antecedent * expression) and consequent = expression list [@@deriving sexp] let (=) left right = Equal (left, right) let (<>) left right = Not_equal (left, right) type t = expression list [@@deriving sexp]