package dolmen_type

  1. Overview
  2. Docs

Parameter Tff.Ty

val int : Type.Ty.t

The type of ints

val string : Type.Ty.t

The type of strings

val string_reg_lang : Type.Ty.t

The type of regular languages over strings

OCaml

Innovation. Community. Security.