PPS-22-srs
API
Generated with
PPS-22-srs/io.github.srs/io.github.srs.utils/io.github.srs.utils.types

io.github.srs.utils.types

package io.github.srs.utils.types

Members list

Type members

Classlikes

object PositiveDouble

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Types

opaque type PositiveDouble
Generated with