Contract 70b836cbc6cc9b3737338f290bef9947b799ecb75cc91beae9ca786b7bf1c96e

fn facility(env: soroban_sdk::Env) -> soroban_sdk::Address

fn authority(env: soroban_sdk::Env) -> soroban_sdk::Address

fn pre_check(
    env: soroban_sdk::Env,
    facility: soroban_sdk::Address,
    ctx: HookCtx,
    before: AccountState,
) -> soroban_sdk::Val

fn add_module(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    module: soroban_sdk::Address,
)

fn on_install(
    env: soroban_sdk::Env,
    facility: soroban_sdk::Address,
    ops: soroban_sdk::Vec,
)

fn post_check(
    env: soroban_sdk::Env,
    facility: soroban_sdk::Address,
    ctx: HookCtx,
    after: AccountState,
    hook_data: soroban_sdk::Val,
)

fn get_modules(env: soroban_sdk::Env) -> soroban_sdk::Vec

fn first_denier(
    env: soroban_sdk::Env,
    facility: soroban_sdk::Address,
    phase: Phase,
    ctx: HookCtx,
    state: AccountState,
) -> Option

fn module_count(env: soroban_sdk::Env) -> u32

fn __constructor(
    env: soroban_sdk::Env,
    authority: soroban_sdk::Address,
    facility: soroban_sdk::Address,
)

fn remove_module(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    module: soroban_sdk::Address,
)

fn set_authority(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    new_authority: soroban_sdk::Address,
)

fn is_module_bound(env: soroban_sdk::Env, module: soroban_sdk::Address) -> bool

fn recommended_ops(env: soroban_sdk::Env) -> soroban_sdk::Vec