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

Term

Documentation

data Term Source #

Constructors

TeExpression Expression 
TeAttribute Attribute 
TeBytes Bytes 

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