kdrag.tele.Program

kdrag.tele.Program(name: str, args: Telescope, T: SubSort, body: ExprRef)
Parameters:

  • name (str)

  • args (Telescope)

  • T (SubSort)

  • body (ExprRef)