Lines Matching refs:OutputForm
3 convert : (OutputForm, Integer) -> %
13 atom? : OutputForm -> Boolean
15 integer? : OutputForm -> Boolean
17 integer : OutputForm -> Integer
20 symbol? : OutputForm -> Boolean
22 symbol : OutputForm -> Symbol
25 string? : OutputForm -> Boolean
27 string : OutputForm -> String
30 operator : OutputForm -> OutputForm
33 arguments : OutputForm -> List(OutputForm)
36 has_op? : (OutputForm, Symbol) -> Boolean
39 is_symbol? : (OutputForm, Symbol) -> Boolean
42 construct : (OutputForm, List(OutputForm)) -> OutputForm
43 ++ construct(op, la) creates OutputForm with operator op
45 precondition : OutputForm -> OutputForm
71 first(x pretend List(OutputForm))
75 rest(x pretend List(OutputForm))
79 e1 := first(expr pretend List(OutputForm))
86 flaten_op(s : Symbol, l : List(OutputForm)) : List(OutputForm) ==
87 ll : List(List(OutputForm)) := [l]
88 res : List(OutputForm) := []
103 construct(op, args) == cons(op, args) pretend OutputForm
105 import from OutputForm