package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val domain : Q.t -> psubst -> Support.t
val codomain : Q.t -> psubst -> Support.t
val support : Q.t -> psubst -> Support.t
val of_guard_A : Q.t -> Q.f -> Support.t -> psubst
val is_trivial : Q.t -> psubst -> bool option
val equal : Q.t -> psubst -> psubst -> bool