Tezos_raw_protocol_alpha.Script_tc_errors_registrationThis module registers all the errors from Script_tc_errors as a top-level effect.
val type_map_enc :
(Alpha_context.Script.location
* (Alpha_context.Script.expr list * Alpha_context.Script.expr list))
list
Tezos_protocol_environment_alpha.Data_encoding.encoding