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