Lines Matching refs:Type
155 args:["Type":"one of the atoms 'tty' or 'gui'"],
166 toplevel_init(Type) :-
169 ( Type = tty -> tty_toplevel_init, setval(toplevel_type, tty)
170 ; Type = gui -> gui_toplevel_init, setval(toplevel_type, gui)
171 ; Type = peer -> gui_toplevel_init, setval(toplevel_type, gui)
172 ; error(6, toplevel_init(Type))
174 ; Old = Type ->
178 [Old,toplevel_init(Type)])
194 getval(toplevel_type, Type),
195 ( var(Type) ->
198 ; Type = tty ->
200 ; Type = gui ->