kdrag.tele.Program

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

Parameters:

• name (str)

• args (Telescope)

• T (SubSort)

• body (ExprRef)