Module `Mlsem_types`

module PrinterCfg : sig ... end

module PEnv : sig ... end

module Ty : sig ... end

module FTy : sig ... end

module Enum : sig ... end

module Tag : sig ... end

module Abstract : sig ... end

module Tuple : sig ... end

module Lst : sig ... end

module Record : sig ... end

module Arrow : sig ... end

module Recording : sig ... end

module Row = Row

module TVar : sig ... end

module TVarSet : sig ... end

module RVar : sig ... end

module RVarSet : sig ... end

module MVarSet = MVarSet

type kind =

| KNoInfer
| KInfer
| KTemporary

module Subst : sig ... end

module TVOp : sig ... end

module GTy : sig ... end

module TyScheme : sig ... end

include module type of struct include Builder end

module TyExpr : sig ... end

module Builder' : sig ... end

type empty = |

module Builder : sig ... end