package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = M.t
type f0 = M.f0
type f1 = M.f1
type f2 = M.f2
val support0 : t -> f0 -> Snowflake.Rbtf.supp
val support1 : t -> f1 -> Snowflake.Rbtf.supp
val support2 : t -> f2 -> Snowflake.Rbtf.supp
val solve_variable : t -> int -> f0 list -> f1 list -> Snowflake.Rbtf.supp -> Snowflake.Rbtf.supp -> Snowflake.Rbtf.supp -> f1 list * f2
val trivial0 : t -> f0 -> bool option
val trivial1 : t -> f1 -> bool option
val trivial2 : t -> f2 -> bool option