Theoria.Term.App (theoria v0.1.0)

Copy Markdown View Source

Function application.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Term.App{arg: Theoria.Term.t(), fun: Theoria.Term.t()}