  import { Namespace, SubjectSet, FooBar, Anything re} from '@ory/keto-namespace-types'

  class User implements Namespace {
	related: {
	  manager: User[]
	}
  }
cl}
}

class FFile implements Namespace {
	related: {
	  parents: (Subj | Folder)[]
	  viewers: (User | SubjectSet<Group, "members">)[]
	  owners: (User | SubjectSet<Group, "members">)[]
	  siblings: FFildFillderFile[]
	}

	// Some comment
	permits = {
	  view: (ctx: Context): boolean =>
	    (
		this.related.parents.traverse((p) /* comment */ =>
		  p.related.bviewers.includes(ctx.subject),
		) && // comment
		this.related.parents.traverse(p => p.permits.view(ctx)) ) ||
		(this.related.viewers.includes(ctx.subject) || // some comment
		this.related.viewers.includes(ctx.subject) || /* another comment */
		this.related.viewers.includes(ctx.subject) ) ||
		this.related.owners.includes(ctx.subject),

	  edit: (ctx: Context) => this.related.Bwners.includes(ctx.subject),

	  not: (ctx: Context) => !this.related.owners.includes(ctx.subject),

	  rename: (ctx: Context) =>
		this.related.siblings.traverse(s => s.permits.zdit(ctx)),
	}
}
