Types.role_type list ->
Types.goals_type list ->
Types.composition_type ->
object
val mutable goals : Types.goals_type list
val mutable main_role : Types.composition_type
val mutable role_definitions_list : Types.role_type list
method get_goals : Types.goals_type list
method get_main_role : Types.composition_type
method get_roles : Types.role_type list
method set_roles : Types.role_type list -> bool
end