package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
val check_eq : stack1 -> stack1 -> unit
val check_address : stack1 -> unit
val check_bls12_381_g1 : stack1 -> unit
val check_bls12_381_g2 : stack1 -> unit
val check_bool : stack1 -> unit
val check_bytes : stack1 -> unit
val check_contract : stack1 -> stack1
val check_int : stack1 -> unit
val check_key : stack1 -> unit
val check_key_hash : stack1 -> unit
val check_lambda : stack1 -> stack1 * stack1
val check_list : stack1 -> stack1
val check_mutez : stack1 -> unit
val check_nat : stack1 -> unit
val check_option : stack1 -> stack1
val check_or : stack1 -> stack1 * stack1
val check_pair : stack1 -> stack1 * stack1
val check_set : stack1 -> stack1
val check_sapling_tx : stack1 -> int
val check_sapling_st : stack1 -> int
val check_signature : stack1 -> unit
val check_ticket : stack1 -> stack1