import { pathOf } from 'ts-pathof';
 
const c = { z: { y: { bb: 123 }}};
const path = pathOf(c, 'z', 'y', 'bb');
 
// path now is typeof [ 'z', 'y', 'bb' ]
const path2 = pathOf(c, 'z', 'y', 'gg'); // error, because no 'gg' field in c.z.y

import { hasPath } from 'ts-pathof';
 
const c = { z: { y: { bb: 123 }}};
const path = hasPath(c, [ 'z', 'y', 'bb' ]); // ok
const path2 = hasPath(c, [ 'z', 'y', 'gg' ]); // false & compilation error

let path: pathOf3<typeof c, 'z', 'y', 'bb'>;
path = pathOf(c, 'z', 'y', 'bb');

const o = {x: { y: 10 }};
 
type xy = PathOf<typeof o, ['x', 'y']>; // ok
 
type xyz = PathOf<typeof o, ['x', 'y', 'z']>; // error

type composed = Compose<[boolean, string], [number]>;
 
composed -> [boolean, string, number]