[{"name":"Fract","comment":"\r\n# Definition\r\n@docs Fra\r\n# Fonctions\r\n@docs addition , multiplication , simplifier\r\n","unions":[{"name":"Fra","comment":"","args":[],"cases":[]}],"aliases":[],"values":[{"name":"addition","comment":"","type":"Fract.Fra -> Fract.Fra -> Fract.Fra"},{"name":"multiplication","comment":"","type":"Fract.Fra -> Fract.Fra -> Fract.Fra"},{"name":"simplifier","comment":"","type":"Fract.Fra -> Fract.Fra"}],"binops":[]}]