sig
val
register_interface :
string
->
(string *
Interfaces
.effectful_semantic) list
->
unit
end