clover's git

the-knife

1	import * as Brand from "effect/Brand"
2	import * as Schema from "effect/Schema"
3
4	type Positive = number & Brand.Brand<"Positive">
5	export const Positive = Brand.check<Positive>(Schema.isGreaterThan(0))