Types.composition_type ->
object
  val mutable accept_state : predicate list
  val mutable composition_relation : Types.composition_type
  val mutable init_state : predicate list
  val mutable knowledge : term list
  val mutable local : hlpsl_variable list
  val mutable name : int
  val mutable owned : hlpsl_variable list
  val mutable param : hlpsl_variable list
  method get_accept : predicate list
  method get_composition : Types.composition_type
  method get_init : predicate list
  method get_knowledge : term list
  method get_local : hlpsl_variable list
  method get_name : int
  method get_owned : hlpsl_variable list
  method get_param : hlpsl_variable list
  method set_accept : predicate list -> unit
  method set_composition : unit
  method set_init : predicate list -> unit
  method set_knowledge : term list -> unit
  method set_local : hlpsl_variable list -> unit
  method set_name : int -> unit
  method set_owned : hlpsl_variable list -> unit
  method set_param : hlpsl_variable list -> unit
end