Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/basic_library.mli
10 10
val is_expr_internal_fun: Lustre_types.expr -> bool
11 11
val is_value_internal_fun: Machine_code_types.value_t -> bool
12 12
val is_stateless_fun: ident -> bool
13
val is_numeric_operator: ident -> bool
13 14

  
14 15
val type_env: Types.t Env.t
15 16
val clock_env: Clocks.t Env.t

Also available in: Unified diff