(** Function signature *)

type 'a typ

val t_unit:       unit typ
val t_bool:       DataType.Bool.t typ
val t_int:        DataType.Num.t  typ
val t_string:     UTF8.t typ
val t_list: 'a typ -> 'a list typ

val typ_of_format: 'a ScTypes.dataFormat -> 'a typ

val repr: Format.formatter -> 'a typ -> unit

module C : Catalog.CATALOG 
  with type 'a argument = 'a typ
  and  type 'a returnType = 'a ScTypes.returnType

(** Load all the built_in functions *)
val built_in: C.catalog_builder -> C.catalog_builder