"internal/overloads/strike"

Index

And<A, B>: A extends true ? B extends true ? true : false : false

CmpOp: "||" | "&&" | "=="

Eq<A, B>: And<Extends<A, B>, Extends<B, A>>

Extends<A, B>: A extends B ? true : false

If<LHS, Cmp, RHS>: Cmp extends "||" ? Or<LHS, RHS> : Cmp extends "&&" ? And<LHS, RHS> : Cmp extends "==" ? Eq<LHS, RHS> : unknown

Or<A, B>: A extends true ? true : B extends true ? true : false