open Legilogic_lib.Tag

val state : t
val invoice : t
val base_operation : t
val deposit : t
val payment : t
val withdrawal : t
val state_update : t
val user_transaction : t
val admin_transaction : t
val user_query : t
val admin_query : t
