package Snowflake

  1. Overview
  2. Docs

Parameters

module M0 : MSig

Signature

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 -> Wap_exchange.output -> f201 array option
type f23 = BPP.f23
val f23a_of_f201a : M.t -> int -> f201 array -> Wap_exchange.output -> f23 array
val apply_bpp : M.t -> int -> f23 array -> Wap_exchange.output -> M.f3 array
val apply : M.t -> ?check:bool -> int -> M.f0 list -> M.f1 list -> 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 -> Wap_exchange.output -> (M.t -> M.f3 list -> 'res option) -> (f201 array * f23 array * M.f3 array, 'res option) result