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 and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.