package comby
A tool for structural code search and replace that supports ~every language
Install
Dune Dependency
Authors
Maintainers
Sources
1.3.0.tar.gz
md5=617a80e8673c3f811403f09701c08a25
sha512=2f8f82c119210ae0efd7f3eefdd992d6b52655575233dfab74662d9a9854ce4aafcd4fe01dad17ba310e38f28ee1437be2f3c4af4f6952a97bb19e1400fc709a
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]