kdrag.notation.compose

kdrag.notation.compose(f: FuncDeclRef, g: FuncDeclRef) → FuncDeclRef

>>> f = smt.Function("f", smt.IntSort(), smt.RealSort())
>>> g = smt.Function("g", smt.BoolSort(), smt.IntSort())
>>> f @ g
Lambda(x, f(g(x)))

Parameters:

• f (FuncDeclRef)

• g (FuncDeclRef)

Return type:

FuncDeclRef