Function
ELEVATOR.LANTERN
Defined in theory:
Vt-domain
Source code:
vt-domain.lisp
Slots on this function:
Instance-Of
:
Function
,
Subpart-slot
Arity
:
2
Domain
:
Elevator
Range
:
Car_lantern
Subpart-Slot-Of
:
Elevator
Notes:
Formerly-Called:
lantern