Mockup.Bootstrap_contract
val encoding : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Parameters.bootstrap_contract Tezos_base.TzPervasives.Data_encoding.t