val decompose_tac:
?mk_fresh_name_callback:ProofEngineTypes.mk_fresh_name_type ->
- ?user_types:((UriManager.uri * int) list) ->
- dbd:HMysql.dbd -> string -> ProofEngineTypes.tactic
+ ?user_types:((UriManager.uri * int option) list) ->
+ ?what:string -> dbd:HMysql.dbd -> ProofEngineTypes.tactic