base.OptFlatMap[T,R]

mut .some(x: T): mut base.Opt[R] -> …,
mut .empty: mut base.Opt[R] -> …,
mut #(t: T): mut base.Opt[R],
mut .some(x: T): mut base.Opt[R] -> …,
mut .empty: mut base.Opt[R] -> …,
mut #(t: T): mut base.Opt[R],