1 \e[1m= result for 'A'
\e[0m
3 class
\e[32m
\e[1mA
\e[0m
\e[0m
4 \e[30m
\e[1mbase_simple3::A
\e[0m
\e[0m
\e[30m (lines 29-32)
\e[0m
8 interface
\e[32m
\e[1mObject
\e[0m
\e[0m
9 \e[30m
\e[1mbase_simple3::Object
\e[0m
\e[0m
\e[30m (lines 19-20)
\e[0m
11 \e[1m== constructors
\e[0m
13 redef
\e[1m
\e[32minit
\e[0m
\e[0m
14 \e[30m
\e[1mbase_simple3::A::init
\e[0m
\e[0m
\e[30m (lines 30-30)
\e[0m
18 fun
\e[1m
\e[32mrun
\e[0m
\e[0m
19 \e[30m
\e[1mbase_simple3::A::run
\e[0m
\e[0m
\e[30m (lines 31-31)
\e[0m
21 \e[1m== refinements
\e[0m