View Source Guesswork.Ast.Term protocol (Guesswork v0.4.4)
A Term is any possible, computable value. Note that a term doesn't necessarily made any sense or have any semantic value.
Summary
Functions
Check if a term is concrete, that is that is has no variables in it.
Pulls all variables from the term.
Types
@type t() :: term()
All the types that implement this protocol.
Functions
Check if a term is concrete, that is that is has no variables in it.
@spec get_variables(t()) :: [Guesswork.Ast.Variable.t()]
Pulls all variables from the term.