Module Archive_extensional_block_inner.Raw

type t
type t_variables