package DAGaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module O : sig ... end
val neg : O.t -> O.f -> O.f
val var : O.t -> bool -> int -> O.f
val cst0 : O.t -> O.f
val cst1 : O.t -> O.f
val ite : O.t -> O.f -> O.f -> O.f -> O.f
val biite : O.t -> (O.f * O.f) -> O.f -> O.f -> O.f
val push_pass : O.t -> O.f -> O.f
val array_make_n_var : O.t -> int -> O.f array
val array_make_n_bivar : O.t -> int -> (O.f * O.f) array
val list_make_n_var : O.t -> int -> O.f list
val array_and : O.t -> ?arity:int option -> O.f array -> O.f
val list_and : O.t -> ?arity:int option -> O.f list -> O.f
val init_and : O.t -> ?arity:int option -> int -> (int -> O.f) -> O.f
val array_or : O.t -> ?arity:int option -> O.f array -> O.f
val list_or : O.t -> ?arity:int option -> O.f list -> O.f
val init_or : O.t -> ?arity:int option -> int -> (int -> O.f) -> O.f
val array_neg : O.t -> O.f array -> O.f array
val list_neg : O.t -> O.f list -> O.f list
val array_at_least_one : O.t -> ?arity:int option -> O.f array -> O.f
val list_at_least_one : O.t -> ?arity:int option -> O.f list -> O.f
val array_exactly_one : O.t -> O.f array -> O.f
val array_atmost_one : O.t -> O.f array -> O.f
val array_copy_fun : O.t -> int -> O.f -> O.f array
val array_copy_fun_t : O.t -> int -> O.f -> O.f array
val array_copy_fun_array : O.t -> int -> O.f array -> O.f GuaCaml.Matrix.matrix
val array_copy_fun_array_t : O.t -> int -> O.f array -> O.f GuaCaml.Matrix.matrix
type !'s system = ('s, O.t, O.f) IoTypes.system
module ToF : sig ... end
module OfF : sig ... end
val system_tof : ?nocopy:bool -> string system -> string -> unit
val system_off : string -> string system
module ToBStream : sig ... end
module OfBStream : sig ... end
val to_file : ?nocopy:bool -> string system -> string -> unit
val of_file : string -> string system
OCaml

Innovation. Community. Security.