| open Util.Source |
| open Def |
| |
| let concat = String.concat |
| let prefix s f x = s ^ f x |
| |
| let string_of_rule_clause rc = |
| let id, e1, e2, prems = rc in |
| Printf.sprintf "%s: %s ~> %s%s" |
| (Il.Print.string_of_id id) |
| (Il.Print.string_of_exp e1) |
| (Il.Print.string_of_exp e2) |
| (concat "" (List.map (prefix "\n -- " Il.Print.string_of_prem) prems)) |
| let string_of_rule_def rd = |
| let instr_name, rel_id, rcs = rd.it in |
| instr_name ^ "/" ^ rel_id.it ^ "\n" ^ |
| (concat "\n" (List.map string_of_rule_clause rcs)) |
| |
| let string_of_helper_def hd = |
| let id, hcs, partial = hd.it in |
| id.it ^ |
| (concat "" (List.map (Il.Print.string_of_clause id) hcs)) ^ "\n" ^ |
| (match partial with |
| | Partial -> "partial" |
| | Total -> "total") |
