From 529f6c9ded5991d86a84a59638e86862ca744a3d Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Wed, 10 Jun 2020 07:04:31 -0700 Subject: [PATCH] [sledge] Doc: Update doc of Term.map_rec_pre Summary: Remove mention of cyclic terms, they no exist. Reviewed By: jvillard Differential Revision: D21721004 fbshipit-source-id: f57ebdc2a --- sledge/src/term.mli | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/sledge/src/term.mli b/sledge/src/term.mli index b45ab11a6..59d6ac5d1 100644 --- a/sledge/src/term.mli +++ b/sledge/src/term.mli @@ -243,12 +243,11 @@ val rec_record : int -> t val map : t -> f:(t -> t) -> t val map_rec_pre : t -> f:(t -> t option) -> t -(** Pre-order transformation that preserves cycles. Each subterm [x] from - root to leaves is presented to [f]. If [f x = Some x'] then the subterms - of [x] are not traversed and [x] is transformed to [x']. Otherwise - traversal proceeds to the subterms of [x], followed by rebuilding the - term structure on the transformed subterms. Cycles (through terms - involving [RecN]) are preserved. *) +(** Pre-order transformation. Each subterm [x] from root to leaves is + presented to [f]. If [f x = Some x'] then the subterms of [x] are not + traversed and [x] is transformed to [x']. Otherwise traversal proceeds + to the subterms of [x], followed by rebuilding the term structure on the + transformed subterms. *) val fold_map : t -> init:'a -> f:('a -> t -> 'a * t) -> 'a * t