package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val sigma_su : (unit, unit) GuaCaml.AB.ab GuaCaml.BTools.OfBStream.t
val sigma_sx : GuaCaml.BTools.OfBStream.Channel.t -> (unit, unit) GuaCaml.AB.ab
val sigma_sux : GuaCaml.BTools.OfBStream.Channel.t -> (unit, (unit, unit) GuaCaml.AB.ab) GuaCaml.AB.ab
val sigma_sc : GuaCaml.BTools.OfBStream.Channel.t -> (unit, bool) GuaCaml.AB.ab
val sigma_suc : GuaCaml.BTools.OfBStream.Channel.t -> (unit, (unit, bool) GuaCaml.AB.ab) GuaCaml.AB.ab
val sized_abl_unit_unit : int -> GuaCaml.BTools.OfBStream.Channel.t -> (unit, unit) GuaCaml.AB.ab list
val sized_abl_unit_bool : int -> GuaCaml.BTools.OfBStream.Channel.t -> (unit, bool) GuaCaml.AB.ab list