module Typeopt

val has_base_type : Typedtree.expression -> Path.t -> bool

val maybe_pointer : Typedtree.expression -> bool

val array_kind : Typedtree.expression -> Lambda.array_kind

val array_pattern_kind : Typedtree.pattern -> Lambda.array_kind

val bigarray_kind_and_layout : Typedtree.expression -> Lambda.bigarray_kind * Lambda.bigarray_layout