sig
  val null : Json_type.t
  val bool : bool -> Json_type.t
  val int : int -> Json_type.t
  val float : float -> Json_type.t
  val string : string -> Json_type.t
  val objekt : (string * Json_type.t) list -> Json_type.t
  val array : Json_type.t list -> Json_type.t
  val list : ('-> Json_type.t) -> 'a list -> Json_type.t
  val option : Json_type.t option -> Json_type.t
  val optional : ('-> Json_type.t) -> 'a option -> Json_type.t
end