Michelson_v1_gas.Internal_for_tests
val int_cost_of_manager_operation : int
int value of Cost_of.manager_operation
int
Cost_of.manager_operation