Ty (dolmen_loop.Dolmen_loop.Export.Make.View.Ty)

type t = ty

module Var : sig ... end

module Cst : sig ... end

module Def : sig ... end

exception Not_first_order of t

exceptions raised by view functions on types that cannot be represented as first-order.

val view : 
  expand:bool ->
  t ->
  < ty_var : Var.t
    ; ty_cst : Cst.t
    ; builtin : builtin
    ; ty : t.. >
    Dolmen_intf.View.TFF.Ty.view

View function for types.