dinosaure

(* (c) Romain Calascibetta *)

[@@@warning "-42"]
[@@@warning "-44"]
[@@@warning "-45"]

type ('l, 'r) either =
  | L of 'l
  | R of 'r

dinosaure

let () = Printexc.record_backtrace true

type ('l, 'r) either =
  | L of 'l
  | R of 'r

type ('a, 'b) cpl = T of 'a * 'b

module Eq =
struct

dinosaure

module Eq =
struct
  type (_, _) refl = Refl : ('a, 'a) refl

  let symm
    : type m n. (m, n) refl -> (n, m) refl
    = fun Refl -> Refl

  let trans
    : type m n p. (m, n) refl -> (n, p) refl -> (m, p) refl

dinosaure

module List =
struct
  include List

  let empty = []
  let cons x r = x :: r
end

type z = Z
type +'a s = S

dinosaure

true: safe_string, bin_annot, debug
<*/*>: warn(@32@20@25@26@34@33@37@39)

<dpipe.{ml,mli,byte,native}>: use_unix, use_bigarray, linkdep(bs.o), linkdep(adler32.o)

dinosaure

module type BLIT =
sig
  type t

  val blit : t -> int -> t -> int -> int -> unit
  val blit_string : string -> int -> t -> int -> int -> unit
end

open Bigarray

dinosaure

module Buffer = Rb.Bytes

module Make (E : sig type err end) =
struct
  type s = Complete | Incomplete

  let pp fmt = function
    | Complete -> Format.fprintf fmt "Complete"
    | Incomplete -> Format.fprintf fmt "Incomplete"