type (!'var, !'dom, !'tf) manager = {string_of_var : 'var -> string;bot : 'dom;join : 'dom -> 'dom -> 'dom;leq : 'dom -> 'dom -> bool;normalize : 'dom -> 'dom;eval : 'tf -> 'dom list -> 'dom;is_id : 'tf -> bool;is_strict : 'tf -> bool;cstrs : 'tf list;target : 'tf -> 'var;args : 'tf -> 'var list;verbose : bool;dom_to_string : 'dom -> string;transfer_to_string : 'tf -> string;transfer_to_dot_string : 'tf -> string;update_transfer : 'tf -> 'var -> 'var -> 'tf;}val run : ('var, 'dom, 'tf) manager -> 'var -> 'domtype (!'var, !'dom, !'tf) mutable_manager = {m_string_of_var : 'var -> string;m_bot : unit -> 'dom;m_is_top : 'dom -> bool;m_eval_and_join : 'tf -> 'dom list -> 'dom -> bool;m_eval : 'tf -> 'dom list -> 'dom -> bool;m_is_id : 'tf -> bool;m_is_strict : 'tf -> bool;m_cstrs : 'tf list;m_target : 'tf -> 'var;m_args : 'tf -> 'var list;m_verbose : bool;m_dom_to_string : 'dom -> string;m_transfer_to_string : 'tf -> string;m_transfer_to_dot_string : 'tf -> string;m_update_transfer : 'tf -> 'var -> 'var -> 'tf;}val m_run : ('var, 'dom, 'tf) mutable_manager -> 'var -> 'domval mutable_manager_of_manager :
('var, 'dom, 'tf) manager ->
('var, 'dom ref, 'tf) mutable_manager