package mlcuddidl
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val is_cst : 'a t -> bool
val is_complement : 'a t -> bool
val topvar : 'a t -> int
val supportsize : 'a t -> int
val is_var_in : int -> 'a t -> bool
val list_of_support : 'a t -> int list
val is_true : 'a t -> bool
val is_false : 'a t -> bool
val is_var_dependent : int -> 'a t -> bool
val is_var_essential : int -> bool -> 'a t -> bool
val size : 'a t -> int
val nbpaths : 'a t -> float
val nbtruepaths : 'a t -> float
val nbminterms : int -> 'a t -> float
val density : int -> 'a t -> float
val list_of_cube : 'a t -> (int * bool) list
val _print : 'a t -> unit
val print__minterm : Stdlib.Format.formatter -> 'a t -> unit
val print_minterm :
(Stdlib.Format.formatter -> int -> unit) ->
Stdlib.Format.formatter ->
'a t ->
unit
val print :
(Stdlib.Format.formatter -> int -> unit) ->
Stdlib.Format.formatter ->
'a t ->
unit
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>