package dolmen_model
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module E = Dolmen.Std.Expr
module B = Dolmen.Std.Builtin
module Term = Dolmen.Std.Expr.Term
module Var = Dolmen.Std.Expr.Term.Var
module Cst = Dolmen.Std.Expr.Term.Const
exception Unhandled_builtin of Cst.t
exception Undefined_variable of Var.t
exception Undefined_constant of Cst.t
val eval : Env.t -> Dolmen_model.Fun.E.Term.t -> Value.t
val eval_apply :
Env.t ->
Dolmen_model.Fun.E.term ->
Dolmen_model.Fun.E.Ty.t list ->
Dolmen_model.Fun.E.term list ->
Value.t
val eval_binder : Env.t -> E.binder -> Dolmen_model.Fun.E.term -> Value.t
val eval_match_aux :
Env.t ->
Value.t ->
(Dolmen_model.Adt.T.t * Dolmen_model.Fun.E.Term.t) list ->
Value.t
val eval_match :
Env.t ->
Dolmen_model.Fun.E.Term.t ->
(Dolmen_model.Adt.T.t * Dolmen_model.Fun.E.Term.t) list ->
Value.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>