How I can use the refined types pratically with other languages.

[Ayoya22]

Hello, I am pretty new to the Ocaml type system but I'll like to use the refined type. So please, can you give me a small walkthrough on how I can go about to use this system or the code in your repository? The latest version of Ocaml is installed in my machine already.
Thanks.

[janus]

@Ayoya22
Check this link, https://www.google.com/search?client=ubuntu&hs=gVG&channel=fs&sxsrf=ACYBGNQlCeO7d2_X0G14vtUuVm1615V1CQ%3A1572380317083&ei=nZ64XbzfBMeGhbIPi42z-As&q=refined+type+ocaml&oq=refined+type+OCa&gs_l=psy-ab.1.1.33i21l2.2998.5235..8222...0.4..0.614.1402.2-3j5-1......0....1..gws-wiz.......0i71j0i10j0i22i30j33i160.d1TFHSsPKMo