let (truth_value, r', h') = one_dpm (r, h)
in let truth_value' = truth_value && (truths (phi one_dpm) (r, h) = [])
(* new_dpm must return a (bool, r, h) *)
in (truth_value', r', h')
let (truth_value, r', h') = one_dpm (r, h)
in let truth_value' = truth_value && (truths (phi one_dpm) (r, h) = [])
(* new_dpm must return a (bool, r, h) *)
in (truth_value', r', h')