package Snowflake
-
Snowflake
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val support : puint -> MLBDD.support
val sorted_support : puint -> MlbddUtils.supp
val zero : MlbddUtils.t -> puint
val of_guard : MlbddUtils.f -> puint
val of_uint : MlbddUtils.t -> uint -> puint
val (+/) : MlbddUtils.t -> puint -> puint -> puint
val addl : MlbddUtils.t -> puint list -> puint
val coproj_proj : MlbddUtils.supp -> puint -> MlbddUtils.f * puint
val is_trivial : puint -> bool option