Type Alias MethodGuardOptional<CK, Args>

Optional arguments not guarded with M.raw() are automatically hardened and must be Passable.

type MethodGuardOptional<
    CK extends "sync"
    | "async" = "sync" | "async",
    Args extends ArgGuard[] = ArgGuard[],
> = {
    optional: <OA extends ArgGuard[]>(
        ...optArgGuards: OA,
    ) => MethodGuardRestReturns<CK, Args, OA>;
}