package rml

  1. Overview
  2. Docs
val fold_left2 : ('a -> 'b -> 'c -> 'a Implem_lco_ctrl_tree_class.Lco_ctrl_tree_class.process) -> 'a -> 'b list -> 'c list -> 'a Implem_lco_ctrl_tree_class.Lco_ctrl_tree_class.process
val fold_right2 : ('a -> 'b -> 'c -> 'c Implem_lco_ctrl_tree_class.Lco_ctrl_tree_class.process) -> 'a list -> 'b list -> 'c -> 'c Implem_lco_ctrl_tree_class.Lco_ctrl_tree_class.process