Type Definition nar::syntax::core::TeleS

type TeleS = [Bind];