package Snowflake

You can search for identifiers within the package.

in-package search v0.2.0

package Snowflake

Snowflake
- Snowflake
  - CoSTreD
    
    MSig
    
    MSigBPP
    
    MSigFRP
    
    Make
    
    BPP
    
    M
    
    FRP
    
    M
    
    M
    
    M0
    
    MakeBPP
    
    M
    
    M0
    
    MakeFRP
    
    M
    
    M0
    
    Sig
    
    BPP
    
    M
    
    FRP
    
    M
    
    M
    
    SigBPP
    
    M
    
    SigFRP
    
    M
  - MlbddExample
    
    AndL
    
    Argmax_UInt
    
    Argmax_UInt_Select
  - MlbddUInt
    
    P
    
    ToCir
    
    ToS
  - MlbddUtils
    
    OOPS
    
    PSubst
    
    ToCir
    
    ToS
  - Wap_exchange
  - Wap_exchange_utils
    
    OfStree
    
    ToS
    
    ToSTree
    
    ToShiftS
  - Wap_lightspeed
  - Wap_lightweight

Legend:
Library
Module
Module type
Parameter
Class
Class type

module M : MSig

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