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.ToBStream.t
val sigma_sx : GuaCaml.BTools.ToBStream.Channel.t -> (unit, unit) GuaCaml.AB.ab -> unit
val sigma_sux : GuaCaml.BTools.ToBStream.Channel.t -> (unit, (unit, unit) GuaCaml.AB.ab) GuaCaml.AB.ab -> unit
val sigma_sc : GuaCaml.BTools.ToBStream.Channel.t -> (unit, bool) GuaCaml.AB.ab -> unit
val sigma_suc : GuaCaml.BTools.ToBStream.Channel.t -> (unit, (unit, bool) GuaCaml.AB.ab) GuaCaml.AB.ab -> unit
val sized_abl_unit_unit : GuaCaml.BTools.ToBStream.Channel.t -> (unit, unit) GuaCaml.AB.ab list -> unit
val sized_abl_unit_bool : GuaCaml.BTools.ToBStream.Channel.t -> (unit, bool) GuaCaml.AB.ab list -> unit