Constant

Contents

Constant#

class discopy.closed.Constant(name, cod, **kwargs)[source]#

Bases: TermBase, discopy.biclosed.Constant

A constant term, evaluated in a context by discarding it. It prints as its bare name, so that terms read like textbook effectful lambda calculus and eval(str(term)) == term under the obvious variable naming convention, e.g. query = (E >> E)("query").

Parameters:

  • name (Ty)

  • cod (Ty)

Contents