object
method descr : string
method get_field : 'a Tactical.field -> 'a
method id : string
method params : Tactical.parameter list
method reset : unit
method select : Tactical.feedback -> Tactical.selection -> Tactical.status
method set_field : 'a Tactical.field -> 'a -> unit
method title : string
end