package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M : sig ... end
module CFRP : sig ... end
module CBPP : sig ... end
val apply_cfrp : M.t -> ?check:bool -> int -> Cwap_exchange.output -> M.f0 list -> M.f1 list -> CFRP.cfrp_state option
val cbpp_of_cfrp : M.t -> ?check:bool -> int -> Cwap_exchange.output -> CFRP.cfrp_state -> CBPP.cbpp_state
val apply_cbpp : M.t -> ?check:bool -> int -> Cwap_exchange.output -> CBPP.cbpp_state -> M.f3 array
type state = Crbtf.Make(Model).state = {
  1. f0a : M.f0 list array;
  2. f1a : M.f1 list array;
  3. f2a : M.f2 option array;
  4. f3a : M.f3 array;
}
val apply : M.t -> ?check:bool -> int -> Cwap_exchange.output -> M.f0 list -> M.f1 list -> state option