foldClause.ml

let foldClause simpleF complexF clause =
        let unitem = function
            | Prop ss -> ss
        let rec loop clause cont =
            match clause with
            | Simple (item, condition, value) ->
                cont (simpleF (unitem item) condition value)
            | Complex (l, op, r) ->
                loop l (fun lval ->
                loop r (fun rval ->
                cont (complexF lval op rval)))
        loop clause id