package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M : sig ... end
type cbpp_state = Crbtf.Make(Model).CBPP.cbpp_state = {
  1. cbpp_f2a : M.f2 option array;
  2. cbpp_f3a : M.f3 option array;
}
val apply : M.t -> ?check:bool -> int -> Cwap_exchange.output -> cbpp_state -> M.f3 array