package electrod
package electrod
-
libelectrod
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val hash : t -> int
val domain_arity : t -> int option
None if non-enumerable; otw Some ar with ar >= 0
val is_const : t -> bool
Says whether the atomic proposition corresponds to a const or var relation
val is_partial : t -> bool
split_string s
returns the name and tuple that produced this string, None
in case no such pair has arrived
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>