package lutin

  1. Overview
  2. Docs
package lutin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module LutPredefSource

LUTIN2 : identificateurs prédéfinis (dont opérateurs algébriques)

  • Les opérations algébriques sont traitées comme des opérateurs (i.e. macros) prédéfinies. (par oposition aux statements qui manipulent des trace)
  • Pour le pretty-print Lucky, on garde une table qui permet de retrouver la notation infixée correspondante
Sourceval lutin_env : CheckEnv.t
Sourceval infixed_tab : (string, string list) Hashtbl.t
Sourceval as_infixed_syntax : string -> string list option
Sourceval kw_tiny : string
Sourceval kw_huge : string
Sourceval kw_interval_goon : string

poids dynamique des boucles intervalle : les params sont

  • le nombre de boucles déjà effectuées (pre cpt)
  • le nombre min
  • le nombre max
Sourceval kw_interval_stop : string
Sourceval kw_average_goon : string
Sourceval kw_average_stop : string
Sourceval kw_deadlock : string
Sourceval declare_op : string -> CkTypeEff.profile -> string list -> unit
Sourceval kw_not : string
Sourceval kw_or : string
Sourceval kw_xor : string
Sourceval kw_nxor : string
Sourceval kw_nor : string
Sourceval kw_diese : string
Sourceval kw_and : string
Sourceval kw_impl : string
Sourceval kw_eq : string
Sourceval kw_neq : string
Sourceval kw_ite : string
Sourceval kw_div : string
Sourceval kw_mod : string
Sourceval kw_uminus : string
Sourceval kw_plus : string
Sourceval kw_minus : string
Sourceval kw_times : string
Sourceval kw_slash : string
Sourceval kw_lt : string
Sourceval kw_gt : string
Sourceval kw_lte : string
Sourceval kw_gte : string
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct