pyaiml21.stdlib.maps.PREDICATE_MAP_LENGTH

pyaiml21.stdlib.maps.PREDICATE_MAP_LENGTH: int = 0[source]

Length of a map that maps using a mapping function.