Mentions légales du service

Skip to content
  • Mário Pereira's avatar
    Extraction of range types: · 2f5afda0
    Mário Pereira authored
    - even for range types fitting 31-bit signed integers the user must provide a
    driver in order to get them extracted to OCaml's type 'int'
    2f5afda0