Legacy_support (tezos-protocol-005-PsBABY5H.Tezos_raw_protocol_005_PsBABY5H.Alpha_context.Script.Legacy

val manager_script_code : lazy_expr

val add_do : 
  manager_pkh:
    Tezos_protocol_environment_005_PsBABY5H.Signature.Public_key_hash.t ->
  script_code:lazy_expr ->
  script_storage:lazy_expr ->
  (lazy_expr * lazy_expr)
    Tezos_protocol_environment_005_PsBABY5H.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBABY5H.Lwt.t

val add_set_delegate : 
  manager_pkh:
    Tezos_protocol_environment_005_PsBABY5H.Signature.Public_key_hash.t ->
  script_code:lazy_expr ->
  script_storage:lazy_expr ->
  (lazy_expr * lazy_expr)
    Tezos_protocol_environment_005_PsBABY5H.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBABY5H.Lwt.t

val has_default_entrypoint : lazy_expr -> bool

val add_root_entrypoint : 
  script_code:lazy_expr ->
  lazy_expr Tezos_protocol_environment_005_PsBABY5H.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBABY5H.Lwt.t