?user_types:(UriManager.uri * int) list ->
?what:string -> dbd:HMysql.dbd -> ProofEngineTypes.tactic
val demodulate : dbd:HMysql.dbd -> ProofEngineTypes.tactic
?user_types:(UriManager.uri * int) list ->
?what:string -> dbd:HMysql.dbd -> ProofEngineTypes.tactic
val demodulate : dbd:HMysql.dbd -> ProofEngineTypes.tactic