greeter.odl File Reference

Go to the source code of this file.

Variables
	config
	definition_file = "${name}_definition.odl"
	extra_file = "${name}_extra.odl"
	defaults_file = "${name}_defaults.odl"

Variable Documentation

config

config

Initial value:

{
    
    name = "greeter"

Definition at line 3 of file greeter.odl.

defaults_file

defaults_file = "${name}_defaults.odl"

Definition at line 8 of file greeter.odl.

definition_file

definition_file = "${name}_definition.odl"

Definition at line 6 of file greeter.odl.

extra_file

extra_file = "${name}_extra.odl"

Definition at line 7 of file greeter.odl.