package Snowflake
-
Snowflake
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val domain : psubst -> MLBDD.support
val codomain : psubst -> MLBDD.support
val support : psubst -> MLBDD.support
val is_trivial : psubst -> bool option