package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M : sig ... end
module FRP : sig ... end
module BPP : sig ... end
type f201 = FRP.f201
val apply_frp : M.t -> ?check:bool -> int -> M.f0 list -> M.f1 list -> Snowflake.Wap_exchange.output -> f201 array option
type f23 = BPP.f23
val f23a_of_f201a : M.t -> int -> f201 array -> Snowflake.Wap_exchange.output -> f23 array
val apply_bpp : M.t -> int -> f23 array -> Snowflake.Wap_exchange.output -> M.f3 array
val apply : M.t -> ?check:bool -> int -> M.f0 list -> M.f1 list -> Snowflake.Wap_exchange.output -> (f201 array * f23 array * M.f3 array) option
val apply_haltf3 : M.t -> ?check:bool -> int -> M.f0 list -> M.f1 list -> Snowflake.Wap_exchange.output -> (M.t -> M.f3 list -> 'res option) -> (f201 array * f23 array * M.f3 array, 'res option) result