type_synonyms.v

(** File generated by coq-of-ocaml *)
Require Import CoqOfOCaml.CoqOfOCaml.
Require Import CoqOfOCaml.Settings.

Definition t1 : Set := string.

Definition t2 (a b : Set) : Set := a * b.