With the example below, is it possible to get liquidity to check that the type of the contract C matches C_intf?

contract type C_intf = sig
  type storage
  val%entry check_balance : nat -> _

contract C = struct
  type storage = unit
  let%init storage = ()
  let%entry check_balance (bal : nat) storage =
    failwith "bouh"

type storage = address

let%entry main (some_c_contract : C_intf.instance) _ =
  failwith "hello"

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.