Code documentation

• The options module
• The datalog_ast module
• The datalog_parser module
• The datalog_primitives module
• The datalog_source module
• The datalog_compiler module
• The datalog_typechecker module
• The datalog_theory module
• The datalog_unfolding module
• The source_openstack module
• The source_skydive module