package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M : sig ... end
type cfrp_state = Crbtf.Make(Model).CFRP.cfrp_state = {
  1. cfrp_f0a : M.f0 list array;
  2. cfrp_f1a : M.f1 list array;
  3. cfrp_f2a : M.f2 option array;
}
val apply : M.t -> ?check:bool -> int -> Cwap_exchange.output -> M.f0 list -> M.f1 list -> cfrp_state option