package Snowflake

  1. Overview
  2. Docs
val sorted_domain : psubst -> supp
val domain : psubst -> MLBDD.support
val sorted_codomain : psubst -> supp
val codomain : psubst -> MLBDD.support
val sorted_support : psubst -> supp
val support : psubst -> MLBDD.support
val subst : f -> psubst -> f
val of_guard : f -> supp -> psubst
val is_trivial : psubst -> bool option
val equal : psubst -> psubst -> bool