phino-0.0.0.41: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellNone
LanguageHaskell2010

Term

Documentation

data Term Source #

Constructors

TeExpression Expression 
TeAttribute Attribute 
TeBytes Bytes 
TeBindings [Binding] 

type BuildTermMethod = [ExtraArgument] -> Subst -> Program -> IO Term Source #

type BuildTermFunc = String -> BuildTermMethod Source #